@@ -29,6 +29,7 @@ executable frontend
29 , obelisk-generated-static
29 , obelisk-generated-static
30 , frontend
30 , frontend
31 --TODO: Make these ghc-options optional
31 --TODO: Make these ghc-options optional
32− ghc-options: -threaded
33+ ghc-options: -threaded
33 if os(darwin)
34 if os(darwin)
34 ghc-options: -dynamic
35 ghc-options: -dynamic