On Sat, Aug 17, 2013 at 09:39:16AM +0100, Gabriel Kerneis wrote:
> On Sat, Aug 17, 2013 at 01:36:07AM +0200, Mihai T. Lazarescu wrote:
> > I get this error:
> >
> > File "feature_config.ml", line 6, characters 3-19:
> > Error: Unbound value Partools.feature
> > Command exited with cod
On Sat, Aug 17, 2013 at 01:36:07AM +0200, Mihai T. Lazarescu wrote:
> I get this error:
>
> File "feature_config.ml", line 6, characters 3-19:
> Error: Unbound value Partools.feature
> Command exited with code 2.
> make[1]: *** [_build/src/cil.cma] Error 10
>
> when I try to compi
