Skip to content

Instantly share code, notes, and snippets.

@KitN
Created June 16, 2015 17:15
Show Gist options
  • Save KitN/158c9e5a65e60fe77a2c to your computer and use it in GitHub Desktop.
Save KitN/158c9e5a65e60fe77a2c to your computer and use it in GitHub Desktop.
Paradox `make` stdout and stderr
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