#151 EXTRAFEATURES compile error

[David Greve]

I'm experiencing some issues when compiling cil-1.7.3 with EXTRAFEATURES on linux Mint 17.1 and OCaml version 4.01.0.

I have my "extra feature" in the directory /path/to/feature (which I have built successfully with cil 1.7.0)

I run (should the build process start with "autoconf"?):

$ ./configure EXTRASRCDIRS="/path/to/feature/" EXTRAFEATURES="pp_acl2"

Which reports:

CIL configuration:
(optional) cl.exe found: HAS_MSVC no
gcc to use CC gcc
default compiler DEFAULT_COMPILER _GNUCC
CIL version CIL_VERSION 1.7.3
CIL features CIL_FEATURES pp_acl2
Extra source directories EXTRASRCDIRS /path/to/feature/

I then type 'make' which fails with:

+ /usr/bin/ocamlc -c -g -I ocamlutil -I src -I src/frontc -I src/ext -I src/ext/pta -o feature_config.cmo feature_config.ml
File "feature_config.ml", line 6, characters 3-18:
Error: Unbound module Pp_acl2
Command exited with code 2.
make: *** [_build/src/cil.cma] Error 10

_build/feature_config.ml looks like:

(* This module was generated automatically by code in Makefile.in *)
open Cil
let features : featureDescr list = [
(* EXTRAFEATURES: *)

Pp_acl2.feature;
]

Thanks,
Dave