Add static-libstdc++ flag.

gcc-static-libstdc++

@@ -0,0 +1,24 @@
+#!/bin/zsh
+typeset -a args
+
+process() {
+    for arg in $*; do
+        case $arg in
+            \"*\")
+                process $(echo $arg | cut -c2- | rev | cut -c2- | rev)
+                ;;
+            @*)
+                process $(cat $(echo $arg | cut -c2-))
+                ;;
+            -lstdc++ | -fuse-ld=gold)
+                ;;
+            *)
+                args+=$arg
+                ;;
+        esac
+    done
+}
+
+process $*
+
+exec g++ -static-libgcc -static-libstdc++ $args

jukebox.cabal

@@ -17,12 +17,16 @@ Description:
   encoding types) and clausify problems (both typed and untyped).
 License: BSD3
 License-file: LICENSE
-extra-source-files: src/errors.h
+extra-source-files: src/errors.h gcc-static-libstdc++
 
 flag minisat
   Description: Use minisat. Required for monotonicity inference.
   Default: True
 
+flag static-cxx
+  description: Build a binary which statically links against libstdc++.
+  default: False
+
 source-repository head
   type:     git
   location: https://github.com/nick8325/jukebox
@@ -72,3 +76,6 @@ Executable jukebox
   Main-is: executable/Main.hs
   Build-depends: base >= 4 && < 5, jukebox
   ghc-options: -W -fno-warn-incomplete-patterns
+
+  if flag(static-cxx)
+    ghc-options: -pgml ./gcc-static-libstdc++