search

eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129 stars 53 forks source link

configure doesn't generate Makefile.config until -apron-srcroot is set #20

Closed ilya-palachev closed 6 years ago

ilya-palachev commented 6 years ago

Hello,

I've tried to build ELINA and found that its build script doesn't work as expected.

If I launch the command ./configure it prints Apron source not found, set APRON_SRCROOT and generates nothing.

But if I run the command even with a fake value of -apron-srcroot option, i.e. ./configure -apron-srcroot 0 it prints

detected configuration:

   optional OCaml support       0
   optional OCamlFind support   0
   optional Java support        0

   installation path            /usr/local

and generates Makefile.config.

The further build with make is possible only if Makefile.config is generated. Moreover, apron is not used during the build, because the further build succeeds even if fake value for -apron-srcroot is set.

Seems that this is a bug.

jfmc commented 6 years ago

The same happens to me. It would be great if this is fixed or documented.

GgnDpSngh commented 6 years ago

Hi all,

Thanks for reporting this bug. We will fix it soon.

Cheers, Gagan

GgnDpSngh commented 6 years ago

Hi all,

I have fixed the configure script so that apron_srcroot is required only when ocaml and apron interface are enabled. The normal "./configure" command should work. The necessary documentation can be found at "http://elina.ethz.ch/". Let me know if there are any further issues.

Cheers, Gagan

ilya-palachev commented 6 years ago

Thanks! Now ELINA can be built as expected.