From cc8bb0248902eeb05415b9dcd00c8f091028d359 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Sat, 4 Aug 2018 16:27:20 +0200 Subject: [PATCH] Remove `pgf` build command --- Make.hs | 20 ++++++++++---------- README.md | 2 +- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/Make.hs b/Make.hs index fba736c30..2fb989a51 100644 --- a/Make.hs +++ b/Make.hs @@ -191,16 +191,16 @@ rglCommands = , RGLCommand "api" False $ gfcp [t,sc] , RGLCommand "compat" False $ gfcp [c] - , RGLCommand "pgf" False $ \modes args bi -> - parallel_ [ - do let dir = getRGLBuildDir bi mode - createDirectoryIfMissing True dir - sequence_ [run_gfc bi ["-s","-make","-name=Lang"++la, - dir ++ "/Lang" ++ la ++ ".gfo"] - | l <- optl langsPGF args, let la = langCode l] - run_gfc bi (["-s","-make","-name=Lang"]++ - ["Lang" ++ langCode l ++ ".pgf"|l <- optl langsPGF args]) - | mode <- modes] + -- , RGLCommand "pgf" False $ \modes args bi -> + -- parallel_ [ + -- do let dir = getRGLBuildDir bi mode + -- createDirectoryIfMissing True dir + -- sequence_ [run_gfc bi ["-s","-make","-name=Lang"++la, + -- dir ++ "/Lang" ++ la ++ ".gfo"] + -- | l <- optl langsPGF args, let la = langCode l] + -- run_gfc bi (["-s","-make","-name=Lang"]++ + -- ["Lang" ++ langCode l ++ ".pgf"|l <- optl langsPGF args]) + -- | mode <- modes] , RGLCommand "parse" False $ \modes args bi -> gfc bi modes (summary parse) (map parse (optl langsParse args)) diff --git a/README.md b/README.md index 08b51fc5e..46977ddfc 100644 --- a/README.md +++ b/README.md @@ -62,7 +62,7 @@ clean `lang`, `api`, `compat`, -`pgf`, + `parse` (default is `all`) - `MODE` is one of: