Created
June 16, 2015 17:15
-
-
Save KitN/158c9e5a65e60fe77a2c to your computer and use it in GitHub Desktop.
Paradox `make` stdout and stderr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 -main-is Paradox.Main.main --make Paradox.Main -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 | |
Flags.hs:52:8: | |
Could not find module ‘Char’ | |
Use -v to see a list of the files searched for. | |
Flags.hs:54:8: | |
Could not find module ‘CPUTime’ | |
Use -v to see a list of the files searched for. | |
Paradox/Flatten.hs:35:8: | |
Could not find module ‘Maybe’ | |
Perhaps you meant Maybes (needs flag -package-key ghc-7.10.1) | |
Use -v to see a list of the files searched for. | |
Paradox/Main.hs:42:8: | |
Could not find module ‘IO’ | |
Perhaps you meant Id (needs flag -package-key ghc-7.10.1) | |
Use -v to see a list of the files searched for. | |
Paradox/Main.hs:47:8: | |
Could not find module ‘List’ | |
Use -v to see a list of the files searched for. | |
Paradox/Main.hs:54:8: | |
Could not find module ‘System’ | |
Use -v to see a list of the files searched for. | |
Paradox/SolveInstances.hs:41:8: | |
Could not find module ‘Monad’ | |
Use -v to see a list of the files searched for. | |
Sat.hs:72:8: | |
Could not find module ‘Random’ | |
Use -v to see a list of the files searched for. | |
Makefile:38: recipe for target 'paradox.exe' failed | |
make: *** [paradox.exe] Error 1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment