search

mht208 / homebrew-formal

Homebrew formulae for formal methods
37 stars 10 forks source link

Building why3 fails #4

Closed mbenke closed 10 years ago

mbenke commented 10 years ago

usr/local/Cellar/objective-caml/4.01.0: 1200 files, 215M ==> Installing why3 ==> Downloading https://gforge.inria.fr/frs/download.php/31257/why3-0.73.tar.gz

100,0%

==> ./configure --prefix=/usr/local/Cellar/why3/0.73 --disable-bench --enable-hyp ==> make ... In module Sexn: The field `find' is required but not provided make: *\ [src/programs/pgm_types.cmx] Error 2

mht208 commented 10 years ago

Hi,

Thanks for the update of why3 to 0.82. I assume 0.82 works for you.

mbenke commented 10 years ago

Yes, that fixed it for me. There's still an (unrelated) issue with lablgtk that I hope to fix to enable --with-ide

mht208 commented 10 years ago

I updated my why3 to 0.82 with --with-ide and why3ide works perfectly for me.

mbenke commented 10 years ago

why3ide does not build for me - cutrrently I narrowed it down to missing lablgtksourceview2 - it does not install by default with lablgtk2, does it?

mbenke commented 10 years ago

Gotcha: why3ide depends on lablgtk2 with-gtksourceview2. Created pull request #6