---
** [bugs:#151] EXTRAFEATURES compile error**
**Status:** open
**Group:** Bug
**Created:** Tue Jan 13, 2015 05:48 PM UTC by David Greve
**Last Updated:** Tue Jan 13, 2015 05:48 PM UTC
**Owner:** nobody
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
---
Sent from sourceforge.net because cil-users@lists.sourceforge.net is subscribed
to https://sourceforge.net/p/cil/bugs/
To unsubscribe from further messages, a project admin can change settings at
https://sourceforge.net/p/cil/admin/bugs/options. Or, if this is a mailing
list, you can unsubscribe from the mailing list.
------------------------------------------------------------------------------
New Year. New Location. New Benefits. New Data Center in Ashburn, VA.
GigeNET is offering a free month of service with a new server in Ashburn.
Choose from 2 high performing configs, both with 100TB of bandwidth.
Higher redundancy.Lower latency.Increased capacity.Completely compliant.
http://p.sf.net/sfu/gigenet
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
