Sylvain Le Gall

Results 137 issues of Sylvain Le Gall

__This feature request has been migrated from artifact #622 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user102](https://forge.ocamlcore.org/users/user102) posted on 2010-05-10 13:02:19: There are a lot of common flags that...

enhancement

__This feature request has been migrated from artifact #1000 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user112](https://forge.ocamlcore.org/users/user112) posted on 2011-06-22 12:58:35: Given a project with an extension pa_foo and...

enhancement

__This feature request has been migrated from artifact #851 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user824](https://forge.ocamlcore.org/users/user824) posted on 2010-12-29 22:43:02: Currently flags are only boolean (unless I missed...

enhancement

__This feature request has been migrated from artifact #790 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user102](https://forge.ocamlcore.org/users/user102) posted on 2010-10-27 07:36:15: Just like the "Toplevel" section should be created,...

enhancement

__This feature request has been migrated from artifact #1114 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user146](https://forge.ocamlcore.org/users/user146) posted on 2012-03-13 12:49:55: I'm packaging a very simple library that used...

enhancement

__This feature request has been migrated from artifact #1005 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user315](https://forge.ocamlcore.org/users/user315) posted on 2011-06-29 17:11:07: When configuring a library, some path informations aren't...

enhancement

__This feature request has been migrated from artifact #972 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user144](https://forge.ocamlcore.org/users/user144) posted on 2011-05-09 22:52:22: In order to use the information elsewhere, it...

enhancement

__This feature request has been migrated from artifact #1093 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user144](https://forge.ocamlcore.org/users/user144) posted on 2012-02-05 10:09:43: When a comment is made on a package,...

enhancement

__This feature request has been migrated from artifact #860 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user824](https://forge.ocamlcore.org/users/user824) posted on 2011-01-03 17:34:16: Sometimes I want to build same target both...

enhancement

__This feature request has been migrated from artifact #892 on forge.ocamlcore.org. It was assigned to [user102](https://forge.ocamlcore.org/users/user102).__ ## [user824](https://forge.ocamlcore.org/users/user824) posted on 2011-01-21 19:55:24: There should be a way to specify optional...

enhancement