search

nick8325 / equinox

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

Unable to build smellysox #5

Closed jessealama closed 11 years ago

jessealama commented 11 years ago

$ 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 SmellySox/Main -o smellysox.exe

on the commandline: Warning: -fglasgow-exts is deprecated: Use individual extensions instead [ 2 of 19] Compiling SmellySox.Parser.Lextff ( SmellySox/Parser/Lextff.hs, SmellySox/Parser/Lextff.o )

templates/GenericTemplate.hs:119:22: Not in scope: `alexGetByte'

templates/GenericTemplate.hs:153:8: Not in scope: alexGetByte' make[1]: *** [smellysox.exe] Error 1 make[1]: Leaving directory/Users/alama/sources/equinox/Haskell' make: *\ [mk-haskell] Error 2

nick8325 commented 11 years ago

Hi,

Sorry about the very late reply - I haven't had time to maintain Equinox at all recently.

I suspect your problem is that your version of BNFC is too old. Anyway, since Smellysox is superceded by Jukebox, I have removed smellysox.exe from the default target list.