trying to make installation of softfloat-hs work even if it can't

globally install softfloat C headers and libs
mit-plv · Nov 9, 2020 · 1d087e8 · 1d087e8
1 parent 4440831
commit 1d087e8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/install.sh b/install.sh
@@ -9,4 +9,5 @@ stack setup
 stack install split
 stack install text
 make
-stack build
+# the --extra... options are a workaround needed because the Makefile of softfloat-hs assumes it can globally install itself
+stack build --extra-include-dirs softfloat-hs/berkeley-softfloat-3/source/include/ --extra-lib-dirs softfloat-hs/lib/