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 with ghc 7.4.2 on mac os x 10.8 #8

Closed jessealama closed 11 years ago

jessealama commented 11 years ago

Using ecc947c629a2a6e334a74dca9da1ee212b9a1f50 on Mac OS X 10.8, using GHC 7.4.2 coming from a fresh install of the Haskell Platform:

$ make
make Solver.or -C minisat/current-base
make[1]: Entering directory `/Users/alama/sources/equinox/minisat/current-base'
Compiling: Solver.or ( Solver.C )
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'
Compiling: Prop.or ( Prop.C )
Prop.C: In function ‘void logBinOp(FILE*, Var, Lit, Lit, char*)’:
Prop.C:29: warning: format not a string literal and no format arguments
Prop.C:29: warning: format not a string literal and no format arguments
Prop.C: In member function ‘Lit PropSolver::mkAnd(Lit, Lit)’:
Prop.C:93: warning: deprecated conversion from string constant to ‘char*’
Prop.C: In member function ‘Lit PropSolver::mkEqu(Lit, Lit)’:
Prop.C:140: warning: deprecated conversion from string constant to ‘char*’
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'
Making dependencies ...
make[1]: Leaving directory `/Users/alama/sources/equinox/instantiate'
make[1]: Entering directory `/Users/alama/sources/equinox/instantiate'
Compiling: MiniSatWrapper.or ( MiniSatWrapper.C )
make[1]: Leaving directory `/Users/alama/sources/equinox/instantiate'
make MiniSatInstantiateClause.or -C instantiate
make[1]: Entering directory `/Users/alama/sources/equinox/instantiate'
Compiling: MiniSatInstantiateClause.or ( MiniSatInstantiateClause.C )
MiniSatInstantiateClause.C: In member function ‘bool FOClause::instantiate(Solver&, int)’:
MiniSatInstantiateClause.C:239: warning: unused variable ‘ret’
make[1]: Leaving directory `/Users/alama/sources/equinox/instantiate'
make -C Haskell
make[1]: Entering directory `/Users/alama/sources/equinox/Haskell'
ghc -fglasgow-exts --make Sat.hs

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

Form.hs:32:8:
    Could not find module `Control.Monad.State'
    Perhaps you meant
      Control.Monad.ST (from base)
      Control.Monad.ST.Safe (from base)
      Control.Monad.Fix (from base)
    Use -v to see a list of the files searched for.
make[1]: *** [Sat.o] Error 1
make[1]: Leaving directory `/Users/alama/sources/equinox/Haskell'
make: *** [mk-haskell] Error 2
nick8325 commented 11 years ago

This indicates that you don't have the mtl package installed! Weird, since it's part of the Haskell Platform. Try cabal install mtl to see if it fixes it. Please re-open the ticket if it still doesn't work.