Skip to content

Instantly share code, notes, and snippets.

@meditans

meditans/*ansi-term*.txt Secret

Created March 5, 2019 00:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save meditans/e67a6bd3377455efbb42dcc4d1e7a577 to your computer and use it in GitHub Desktop.
Save meditans/e67a6bd3377455efbb42dcc4d1e7a577 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
*ansi-term*.txt
carlo@h1  ~/code/haskell/forks/haskell-z3   master  nix-shell --run "cabal new-repl"
Build profile: -w ghc-8.6.3 -O1
In order, the following will be built (use -v for more details):
- z3-4.3 (lib) (ephemeral targets)
Preprocessing library for z3-4.3..
GHCi, version 8.6.3: http://www.haskell.org/ghc/ :? for help
<command line>: user specified .o/.so/.DLL could not be loaded (libz3.so: cannot open shared object file: No such file or directory)
Whilst trying to load: (dynamic) z3
Additional directories searched: (none)
cabal: repl failed for z3-4.3.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment