Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Save fd0/d72ee2a0a5f69032ce1dcba2f2bd1a49 to your computer and use it in GitHub Desktop.
Save fd0/d72ee2a0a5f69032ce1dcba2f2bd1a49 to your computer and use it in GitHub Desktop.
diff --git Makefile Makefile
index 23f4c17..8686fe4 100644
--- Makefile
+++ Makefile
@@ -1,7 +1,7 @@
tttool: src/*.hs
# cabal update
- cabal install --only-dependencies
- cabal install --bindir=.
+ cabal install --jobs --only-dependencies
+ cabal install --jobs --bindir=.
all: tttool libtiptoi gameanalyse makegraphic
diff --git tttool.cabal tttool.cabal
index 985b4db..1ee7e0b 100644
--- tttool.cabal
+++ tttool.cabal
@@ -78,6 +78,9 @@ executable tttool
-fwarn-incomplete-patterns
-rtsopts
-with-rtsopts=-K100M
+ -Wall -O2 -static -threaded
+ cc-options: -static
+ ld-options: -static -pthread
source-repository head
type: git
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment