You need to have the Haskell MiniSat binding installed to build Equinox. The following commands should work:
cabal update
cabal install minisat
make
The following scripts are unmodified from the original source; this repo is meant as a backup of a working version, along with any associated instructions to help users get this running on their Macs.
My setup:
- Haskell Platform 8.2.2 Core
- Mac OS X Yosemite 10.10.5
- GNU bash, version 3.2.57(1)
- Macbook Pro (mid-2014)
- Clone the equinox project from Github or download the zip.
- Download Haskell from the official site -- I used the installer, but you could do it with homebrew as well. **I think you can avoid all the problems I had (see below @ step 12) if you download the Full version of Haskell, not Core, but I'm not sure. I only used Core because I wanted to save hard drive space... (oops)
https://www.haskell.org/platform/mac.html#osx-none
-
Install Haskell and follow the prompts if using the installer.
-
In Terminal, check to see if it installed properly by typing:
cabal --v
-
It might download something from haskell.org... just let it do its own thing
-
Append the path to Haskell to your PATH:
export PATH="$HOME/Library/Haskell/bin:$PATH"
- Update cabal to the latest version
cabal update
- Install minisat (might take a while)
cabal install minisat
-
Go to the folder where you've placed equinox
-
Inside the equinox folder, you will need to compile everything via the make command
make
-
If you only get warnings (in purple text in Terminal), you can ignore them.
-
If you're missing the packages (red text in Terminal), you will need to install them manually (this is where trial and error happened for me...):
- Could not find module ‘Control.Monad.State’
cabal install mtl
- Could not find module ‘System.Random’
cabal install random
- Could not find module ‘Test.QuickCheck’
cabal install QuickCheck
- Could not find module ‘System.Time’
cabal install old-time-1.1.0.3
- Update your package cache for cabal
sudo ghc-pkg recache
- Finally, run paradox in Terminal:
./paradox tptp_file
e.g., I dumped some TPTP files in the Problems folder with the model flag and it will print the model in Terminal for me:
./paradox Problems/most.tptp --model
You can use the > command to print models to a file.
./paradox Problems/most.tptp --model --verbose 2 > Problems/most_output.txt