search

nick8325 / equinox

Paradox model finder and equinox theorem prover for first-order logic.
MIT License
19 stars 4 forks source link

Infinox does not build #4

Closed jessealama closed 11 years ago

jessealama commented 11 years ago

Using equinox (commit cf20d5498c3500746b30a32b623ebb5c35b56db0) I am unable to build Infinox. Here's a build log:

$ make
make Solver.or -C minisat/current-base
make[1]: Entering directory `/Users/alama/sources/equinox/minisat/current-base'
make[1]: `Solver.or' is up to date.
make[1]: Leaving directory `/Users/alama/sources/equinox/minisat/current-base'
make Prop.or   -C minisat/current-base
make[1]: Entering directory `/Users/alama/sources/equinox/minisat/current-base'
make[1]: `Prop.or' is up to date.
make[1]: Leaving directory `/Users/alama/sources/equinox/minisat/current-base'
make MiniSatWrapper.or           -C instantiate
make[1]: Entering directory `/Users/alama/sources/equinox/instantiate'
make[1]: `MiniSatWrapper.or' is up to date.
make[1]: Leaving directory `/Users/alama/sources/equinox/instantiate'
make MiniSatInstantiateClause.or -C instantiate
make[1]: Entering directory `/Users/alama/sources/equinox/instantiate'
make[1]: `MiniSatInstantiateClause.or' is up to date.
make[1]: Leaving directory `/Users/alama/sources/equinox/instantiate'
make -C Haskell
make[1]: Entering directory `/Users/alama/sources/equinox/Haskell'
ghc -optl -static -lstdc++ -I../instantiate -I../minisat/current-base ../minisat/current-base/Solver.or ../minisat/current-base/Prop.or ../instantiate/MiniSatWrapper.or ../instantiate/MiniSatInstantiateClause.or -fglasgow-exts -O2 -static -threaded --make Paradox/Main.hs -o paradox

on the commandline:
    Warning: -fglasgow-exts is deprecated: Use individual extensions instead

Parsek.hs:1:12:
    Warning: -fglasgow-exts is deprecated: Use individual extensions instead
ghc -optl -static -lstdc++ -I../instantiate -I../minisat/current-base ../minisat/current-base/Solver.or ../minisat/current-base/Prop.or ../instantiate/MiniSatWrapper.or ../instantiate/MiniSatInstantiateClause.or -fglasgow-exts -O2 -static -threaded -threaded --make Equinox/Main.hs -o equinox

on the commandline:
    Warning: -fglasgow-exts is deprecated: Use individual extensions instead

Parsek.hs:1:12:
    Warning: -fglasgow-exts is deprecated: Use individual extensions instead
ghc -fglasgow-exts -O2 -static -threaded -main-is Infinox.Main.main --make Infinox.Main -o infinox

on the commandline:
    Warning: -fglasgow-exts is deprecated: Use individual extensions instead

Infinox/Timeout.hs:1:12:
    Warning: -fglasgow-exts is deprecated: Use individual extensions instead

Infinox/Timeout.hs:36:8:
    Could not find module `System'
    It is a member of the hidden package `haskell98-2.0.0.1'.
    Use -v to see a list of the files searched for.
make[1]: *** [infinox.exe] Error 1
make[1]: Leaving directory `/Users/alama/sources/equinox/Haskell'
make: *** [mk-haskell] Error 2
nick8325 commented 11 years ago

All fixed now! Thanks for letting me know.

jessealama commented 11 years ago

Works great -- thanks!