diff options
Diffstat (limited to 'dynamic-compilation.patch')
-rw-r--r-- | dynamic-compilation.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dynamic-compilation.patch b/dynamic-compilation.patch new file mode 100644 index 000000000000..e88ef70036ff --- /dev/null +++ b/dynamic-compilation.patch @@ -0,0 +1,11 @@ +--- a/src/Xmobar/App/Compile.hs 2023-02-25 00:52:50.200025709 +0100 ++++ b/src/Xmobar/App/Compile.hs 2023-02-25 01:10:05.503624465 +0100 +@@ -161,7 +161,7 @@ + return (status == ExitSuccess) + else return True + where opts bin = ["--make" , execName ++ ".hs" , "-i" , "-ilib" +- , "-fforce-recomp" , "-main-is", "main" , "-v0"] ++ , "-fforce-recomp" , "-main-is", "main" , "-dynamic" , "-v0"] + #ifdef THREADED_RUNTIME + ++ ["-threaded"] + #endif |