Building systems

Suppose we have the following HelloWorld system code and that we want to build it.

import Haskus.System

main :: IO ()
main = runSys' <| do
   term <- defaultTerminal
   writeStrLn term "Hello World!"
   waitForKey term

You can use Cabal as for any other Haskell program. However, we want to build a static executable, hence the .cabal file must contain an executable section such as:

executable HelloWorld
   main-is: HelloWorld.hs
   default-language: Haskell2010
   ghc-options:      -Wall -static -threaded
   cc-options:       -static
   ld-options:       -static -pthread
   #extra-lib-dirs: /path/to/static/libs

If static versions of the libgmp, libffi and glibc libraries (used by GHC’s runtime system) are not available on your system, you have to compile them and to indicate to the linker where to find them: uncomment the last line in the previous extract of the .cabal file (the extra-lib-dirs entry) and modify it so that the given path points to a directory containing the static libraries.

Finally, we recommend using stack to ensure that you are using appropriate versions of GHC and of haskus-system. Example of stack.yaml contents:

resolver: lts-8.15

- '.'
- location:
    commit: 33ba0413f2adae33f66f78e51f7e9e52e63758f1
  extra-dep: true

   "haskus-system": -freduction-depth=0 -fobject-code

- haskus-binary-
- haskus-utils-

Finally use stack build to compile the program.