forked from GitHub/gf-rgl
putting pattern macros in place (not properly tested yet)
This commit is contained in:
@@ -25,7 +25,7 @@ GFCCP=$(GFCC) -preproc=./mkPresent
|
|||||||
new:
|
new:
|
||||||
export GF='../../bin/gf -s' ; export GF_LIB_PATH='..'; $(MAKE) -e all
|
export GF='../../bin/gf -s' ; export GF_LIB_PATH='..'; $(MAKE) -e all
|
||||||
|
|
||||||
all: chmod show-path prelude present alltenses mathematical api langs compiled
|
all: chmod show-path prelude present alltenses
|
||||||
|
|
||||||
chmod:
|
chmod:
|
||||||
chmod a+x mkPresent
|
chmod a+x mkPresent
|
||||||
@@ -159,7 +159,7 @@ gfdoc:
|
|||||||
mv ../prelude/*.html doc/gfdoc
|
mv ../prelude/*.html doc/gfdoc
|
||||||
|
|
||||||
gf3:
|
gf3:
|
||||||
export GF_LIB_PATH=..; $(MAKE) -e gf3prelude gf3present gf3alltenses gf3mathematical
|
export GF_LIB_PATH=..; $(MAKE) -e gf3prelude gf3present gf3alltenses
|
||||||
|
|
||||||
gf3prelude:
|
gf3prelude:
|
||||||
$(GFNew) ../src/*.gf
|
$(GFNew) ../src/*.gf
|
||||||
|
|||||||
Reference in New Issue
Block a user