From 9ad38726fe1276f8d619cbbeb9f9fb79d38f8fcd Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 16 Jun 2016 09:57:28 +0000
Subject: [PATCH] gf.cabal: don't build pgf-shell any more, it's been
 superceded by gf -cshell

---
 gf.cabal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gf.cabal b/gf.cabal
index cfe6a4d9c..05e1b7fa1 100644
--- a/gf.cabal
+++ b/gf.cabal
@@ -333,8 +333,8 @@ Executable gf
 
 
 executable pgf-shell
-  if !flag(c-runtime)
-    buildable: False
+--if !flag(c-runtime)
+  buildable: False
   main-is:             pgf-shell.hs
   hs-source-dirs:      src/runtime/haskell-bind/examples
   build-depends:       gf, base, containers, mtl, lifted-base