Skip to content

The file `share/configure.ac' is missing

ID0000182: This issue was created automatically from Mantis Issue 182. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0000182 Frama-C Kernel public 2009-07-13 2009-09-23
Reporter Jonathan-Christofer Demay Assigned To virgile Resolution fixed
Priority normal Severity minor Reproducibility always
Platform - OS - OS Version -
Product Version Frama-C Beryllium-20090601-beta1 Target Version - Fixed in Version Frama-C Beryllium-20090901

Description :

I tried to modify configure.in and then run autoreconf, but a file is missing:

aclocal-1.11: configure.in:46: file `share/configure.ac' does not exist autoreconf-2.63: aclocal failed with exit status: 1

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information