nick8325 / equinox

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

Make a .cabal file for equinox and paradox #2

Closed danr closed 12 years ago

danr commented 12 years ago

Cabal install does not like --main-is too much, and it certianely does not like a module Main with a function main that is not of type IO (). Therefore, I make a new file called Runner that copies the old functionality, and renamed the module names in {Equinox,Paradox}/Main.hs to main. You should still be able to compile paradox and equinox by running `make'.