forked from grammarware/grammarware.github.io
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Showing pretty-printed XBGF scripts instead of simply using Source Fo…
…rce markup git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@1053 ab42f6e0-554d-0410-b580-99e487e6eeb2
- Loading branch information
1 parent
8875db4
commit 9d66208
Showing
7 changed files
with
121 additions
and
113 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,16 +1,18 @@ | ||
all: | ||
make kellogg -f _dev/Makefile.ada.zoo | ||
make kempe -f _dev/Makefile.ada.zoo | ||
make laemmel-verhoef -f _dev/Makefile.ada.zoo | ||
make lncs-2219 -f _dev/Makefile.ada.zoo | ||
make lncs-4348 -f _dev/Makefile.ada.zoo | ||
make kellogg -f _dev/Makefile.ada.zoo | ||
chmod 644 zoo/ada/*.* | ||
rm tmp.xml | ||
|
||
%: | ||
cp ../topics/grammars/ada/$*/ada.bgf zoo/ada/$*.bgf | ||
../shared/tools/bgf2bnf zoo/ada/$*.bgf zoo/ada/$*.bnf | ||
../shared/tools/bgf2dms zoo/ada/$*.bgf zoo/ada/$*.dms | ||
../shared/tools/bgf2sdf zoo/ada/$*.bgf zoo/ada/$*.sdf | ||
../shared/tools/bgf2rsc zoo/ada/$*.bgf zoo/ada/$*.rsc | ||
_dev/fancy zoo ada $* ada$* | ||
chmod 644 zoo/ada/*.bgf | ||
../shared/tools/bgf2bnf zoo/ada/$*.bgf zoo/ada/$*.bnf | ||
../shared/tools/bgf2dms zoo/ada/$*.bgf zoo/ada/$*.dms | ||
../shared/tools/bgf2sdf zoo/ada/$*.bgf zoo/ada/$*.sdf | ||
../shared/tools/bgf2rsc zoo/ada/$*.bgf zoo/ada/$*.rsc | ||
_dev/fancy zoo ada $* ada-$* | ||
if [ -r ../topics/grammars/ada/$*/post-extract.xbgf ]; then ../shared/tools/xbgf2html ../topics/grammars/ada/$*/post-extract.xbgf zoo/ada/$*-post-extract.html $*.html; fi | ||
if [ -r ../topics/grammars/ada/$*/correct.xbgf ]; then ../shared/tools/xbgf2html ../topics/grammars/ada/$*/correct.xbgf zoo/ada/$*-correct.html $*.html; fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1,14 @@ | ||
all: | ||
make eif -f _dev/Makefile.eif.zoo | ||
chmod 644 zoo/eiffel/*.bgf | ||
ls -1 zoo/eiffel/*.bgf | xargs -n1 -I _ basename _ .bgf | xargs -n1 -I ZZZ make ZZZ.formats -f _dev/Makefile.eif.zoo | ||
make iso-25436-2006 -f _dev/Makefile.eif.zoo | ||
chmod 644 zoo/eiffel/*.* | ||
rm tmp.xml | ||
|
||
%.formats: | ||
%: | ||
cp ../topics/grammars/eiffel/$*/eiffel.bgf zoo/eiffel/$*.bgf | ||
../shared/tools/bgf2bnf zoo/eiffel/$*.bgf zoo/eiffel/$*.bnf | ||
../shared/tools/bgf2dms zoo/eiffel/$*.bgf zoo/eiffel/$*.dms | ||
../shared/tools/bgf2sdf zoo/eiffel/$*.bgf zoo/eiffel/$*.sdf | ||
../shared/tools/bgf2rsc zoo/eiffel/$*.bgf zoo/eiffel/$*.rsc | ||
_dev/fancy zoo eiffel $* eiffel | ||
|
||
eif: | ||
cp ../topics/grammars/eiffel/eiffel.bgf zoo/eiffel/eiffel.bgf | ||
_dev/fancy zoo eiffel $* eiffel$* | ||
if [ -r ../topics/grammars/eiffel/$*/post-extract.xbgf ]; then ../shared/tools/xbgf2html ../topics/grammars/eiffel/$*/post-extract.xbgf zoo/eiffel/$*-post-extract.html $*.html; fi | ||
if [ -r ../topics/grammars/eiffel/$*/correct.xbgf ]; then ../shared/tools/xbgf2html ../topics/grammars/eiffel/$*/correct.xbgf zoo/eiffel/$*-correct.html $*.html; fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,13 +1,15 @@ | ||
all: | ||
make for90 -f _dev/Makefile.for.zoo | ||
chmod 644 zoo/fortran/*.bgf | ||
ls -1 zoo/fortran/*.bgf | xargs -n1 -I _ basename _ .bgf | xargs -n1 -I ZZZ make ZZZ.formats -f _dev/Makefile.for.zoo | ||
make derricks -f _dev/Makefile.for.zoo | ||
chmod 644 zoo/fortran/*.* | ||
rm tmp.xml | ||
|
||
%.formats: | ||
../shared/tools/bgf2dms zoo/fortran/$*.bgf zoo/fortran/$*.dms | ||
../shared/tools/bgf2sdf zoo/fortran/$*.bgf zoo/fortran/$*.sdf | ||
../shared/tools/bgf2rsc zoo/fortran/$*.bgf zoo/fortran/$*.rsc | ||
_dev/fancy zoo fortran $* fortran | ||
|
||
for90: | ||
cp ../topics/grammars/fortran/fortran.sdf.rec.bgf zoo/fortran/fortran90.bgf | ||
%: | ||
cp ../topics/grammars/fortran/$*/fortran.bgf zoo/fortran/$*.bgf | ||
../shared/tools/bgf2bnf zoo/fortran/$*.bgf zoo/fortran/$*.bnf | ||
../shared/tools/bgf2dms zoo/fortran/$*.bgf zoo/fortran/$*.dms | ||
../shared/tools/bgf2sdf zoo/fortran/$*.bgf zoo/fortran/$*.sdf | ||
../shared/tools/bgf2rsc zoo/fortran/$*.bgf zoo/fortran/$*.rsc | ||
_dev/fancy zoo fortran $* fortran-$* | ||
if [ -r ../topics/grammars/fortran/$*/post-extract.xbgf ]; then ../shared/tools/xbgf2html ../topics/grammars/fortran/$*/post-extract.xbgf zoo/fortran/$*-post-extract.html $*.html; fi | ||
if [ -r ../topics/grammars/fortran/$*/correct.xbgf ]; then ../shared/tools/xbgf2html ../topics/grammars/fortran/$*/correct.xbgf zoo/fortran/$*-correct.html $*.html; fi | ||
if [ -r ../topics/grammars/fortran/$*/refactor.xbgf ]; then ../shared/tools/xbgf2html ../topics/grammars/fortran/$*/refactor.xbgf zoo/fortran/$*-refactor.html $*.html; fi |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.