diff --git a/mk/config.mk.in b/mk/config.mk.in index d7afd88a6ab17cc2cf8a249e4b574a8c91c21b2d..2b670cc95ac824c8ba8ed723fa26f15f896f8a48 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -258,6 +258,10 @@ StripLibraries=NO # GhcReportCompiles=NO +# Win32 only: Enable the RTS and libraries to be built as DLLs +# +EnableWin32DLLs=@EnableWin32DLLs@ + ################################################################################# # # happy project @@ -622,6 +626,8 @@ HAPPY_VERSION = @HappyVersion@ LX = @LxCmd@ GREENCARD = $(FPTOOLS_TOP)/green-card/src/green-card +BLD_DLL = dllwrap + # # Stuff from fptools/literate # @@ -713,6 +719,10 @@ WAY_mp_HC_OPTS=-parallel WAY_mg_NAME=GranSim WAY_mg_HC_OPTS=-gransim +# Way `dll': +WAY_dll_NAME=Win32 DLLs +WAY_dll_HC_OPTS= + # # Add user-way configurations here: #