diff --git a/WebSetup.hs b/WebSetup.hs index 629d34327..0f2d24b7d 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -48,7 +48,7 @@ buildWeb gf (flags,pkg,lbi) = where tmp_dir = gfo_dirsubdir dir = "examples"subdir - args = numJobs flags++["-make","-s","-optimize-pgf"] + args = numJobs flags++["-make","-s"] -- ,"-optimize-pgf" ++["--gfo-dir="++tmp_dir, "--gf-lib-path="++buildDir lbi "rgl", "--name="++dropExtension pgf, diff --git a/examples/foods/Makefile b/examples/foods/Makefile index 5738bc281..5f42041ae 100644 --- a/examples/foods/Makefile +++ b/examples/foods/Makefile @@ -2,7 +2,7 @@ all:: Foods.pgf Foods.pgf: Foods???.gf - gf -make -s -optimize-pgf Foods???.gf + gf -make -s Foods???.gf clean: rm -rf *.gfo Foods.pgf