From 32ce03dc944b135128ffb41e136df9fea94466ce Mon Sep 17 00:00:00 2001
From: Thomas Hallgren <th-github@altocumulus.org>
Date: Wed, 28 Nov 2018 17:27:29 +0100
Subject: bin/build-binary-dist.sh: include the RGL in binary distributions

TODO: the corresponding changes in debian/rules
---
 WebSetup.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'WebSetup.hs')

diff --git a/WebSetup.hs b/WebSetup.hs
index fc70bb13e..f6f76107d 100644
--- a/WebSetup.hs
+++ b/WebSetup.hs
@@ -70,7 +70,7 @@ buildWeb gf flags (pkg,lbi) = do
         gf_lib_path = datadir (absoluteInstallDirs pkg lbi dest) </> "lib"
         args = numJobs flags++["-make","-s"] -- ,"-optimize-pgf"
                ++["--gfo-dir="++tmp_dir,
-                  "--gf-lib-path="++gf_lib_path,
+                --"--gf-lib-path="++gf_lib_path,
                   "--name="++dropExtension pgf,
                   "--output-dir="++gfo_dir]
                ++[dir</>file|file<-src]
-- 
cgit v1.2.3