make linearizations in browser Makefile

2012-05-30 08:56:47 +00:00
1 parent 4858237ab2
commit a150616d82
@@ -1,2 +1,8 @@
-all: 
+all: pgf
+
+pgf: 
 	gf -make LibraryBrowser???.gf
+
+linearizations:
+	echo "pg -funs" | gf alltenses/Lang.gfo | runghc MkLinAPI.hs 
+