make linearizations in browser Makefile

2012-05-30 08:56:47 +00:00
parent 12e142724b
commit e84720622f
1 changed files with 7 additions and 1 deletions
--- a/lib/src/api/libraryBrowser/Makefile
+++ b/lib/src/api/libraryBrowser/Makefile
@@ -1,2 +1,8 @@
-all: 
+all: pgf
+
+pgf: 
 	gf -make LibraryBrowser???.gf
+
+linearizations:
+	echo "pg -funs" | gf alltenses/Lang.gfo | runghc MkLinAPI.hs 
+