Allow linking against abcBridge with C++

GaloisInc · Jul 18, 2018 · 8c50457 · 8c50457
1 parent ac3e599
commit 8c50457
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cryptol-verifier.cabal b/cryptol-verifier.cabal
@@ -67,4 +67,5 @@ executable css
 
   hs-source-dirs : css
   main-is : Main.hs
-  GHC-options: -Wall -O2 -rtsopts
+  GHC-options: -Wall -O2 -rtsopts -pgmlg++
+  extra-libraries:      stdc++