Re: Compiling standalone applications in Kics2

From: Michael Hanus <>
Date: Tue, 11 Dec 2012 12:14:35 +0100

On 12/03/2012 12:59 PM, Michael Hanus wrote:
> In order to tell ghc to link everything statically, it seems necessary
> to pass the options "-static -optl-static -optl-pthread" to ghc.
> Note that the KiCS2 option ":set rts -optl-static" that you tried
> are only run-time options but not compilation options.
> ghc compilation options can be set in KiCS2 by the command
> ":set ghc ...", i.e., for static linking you need to set
>> :set ghc -static -optl-static -optl-pthread
> in KiCS2. Then static linking should be performed when you create
> an executable by the command ":save" (although the linker produces many
> warnings). However, the setting of ghc options is only possible
> in "local" installations of KiCS2.

I just want to let you know that the most recent distribution
of KiCS2 now allows the setting of ghc options also in the standard
"global" installation of KiCS2. However, some care is required
when using these options. ghc linking options, like the static
linking options above, are not critical whereas other compilation
oriented options could cause problems. See the manual for more

Best regards,

curry mailing list
Received on Di Dez 11 2012 - 12:15:16 CET

This archive was generated by hypermail 2.3.0 : Do Jun 13 2024 - 07:15:12 CEST