diff options
| author | Thomas Hallgren <th-github@altocumulus.org> | 2018-11-28 17:27:29 +0100 |
|---|---|---|
| committer | Thomas Hallgren <th-github@altocumulus.org> | 2018-11-28 17:27:29 +0100 |
| commit | 32ce03dc944b135128ffb41e136df9fea94466ce (patch) | |
| tree | 097c783b204e6cef397f75ff883973ca295bdd2d /WebSetup.hs | |
| parent | 8560b4fb657e64c170ac403c2eb5a731d7ff6b58 (diff) | |
bin/build-binary-dist.sh: include the RGL in binary distributions
TODO: the corresponding changes in debian/rules
Diffstat (limited to 'WebSetup.hs')
| -rw-r--r-- | WebSetup.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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] |