-
Notifications
You must be signed in to change notification settings - Fork 15
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
git-svn-id: https://slps.svn.sourceforge.net/svnroot/slps@795 ab42f6e0-554d-0410-b580-99e487e6eeb2
- Loading branch information
1 parent
6cdf991
commit 4a843e3
Showing
28 changed files
with
119 additions
and
82 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
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
build: | ||
cd jls1 && make build | ||
cd jls2 && make build | ||
cd jls3 && make build | ||
|
||
clean: | ||
cd jls1 && make clean | ||
cd jls2 && make clean | ||
cd jls3 && make clean | ||
|
||
test: | ||
cd jls1 && make test | ||
cd jls2 && make test | ||
cd jls3 && make test |
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 |
---|---|---|
@@ -0,0 +1,32 @@ | ||
all: | ||
make build | ||
make test | ||
|
||
build: | ||
make impl | ||
make read | ||
|
||
debug: | ||
python ../../../../shared/python/getpre.py syntax.kw impl.html parse.html | ||
python ../../../extraction/bnf2bgf/html2bgf.py parse.html impl1.bgf -v | ||
python ../../../../shared/python/getpre.py collect.kw read.html parse.html | ||
python ../../../extraction/bnf2bgf/html2bgf.py parse.html read1.bgf -v | ||
|
||
impl: | ||
@echo "Extracting impl1" > /dev/stderr | ||
python ../../../../shared/python/getpre.py syntax.kw impl.html parse.html | ||
python ../../../extraction/bnf2bgf/html2bgf.py parse.html impl1.bgf | ||
|
||
read: | ||
@echo "Extracting read1" > /dev/stderr | ||
python ../../../../shared/python/getpre.py collect.kw read.html parse.html | ||
python ../../../extraction/bnf2bgf/html2bgf.py parse.html read1.bgf | ||
|
||
test: | ||
../../../../shared/tools/checkxml bgf impl1.bgf | ||
../../../../shared/tools/checkxml bgf read1.bgf | ||
../../../../shared/tools/gdts impl1.bgf extracted-implementable-grammar.bgf | ||
../../../../shared/tools/gdts read1.bgf extracted-readable-grammar.bgf | ||
|
||
clean: | ||
rm -f *.bgf parse.html |
File renamed without changes.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
File renamed without changes.
File renamed without changes.
File renamed without changes.
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 |
---|---|---|
@@ -0,0 +1,30 @@ | ||
all: | ||
make build | ||
make test | ||
|
||
build: | ||
make impl | ||
make read | ||
|
||
debug: | ||
python ../../../extraction/bnf2bgf/html2bgf.py impl.html impl2.bgf -v | ||
python ../../../../shared/python/getpre.py collect.kw read.html parse.html | ||
python ../../../extraction/bnf2bgf/html2bgf.py parse.html read2.bgf -v | ||
|
||
impl: | ||
@echo "Extracting impl2" > /dev/stderr | ||
python ../../../extraction/bnf2bgf/html2bgf.py impl.html impl2.bgf | ||
|
||
read: | ||
@echo "Extracting read2" > /dev/stderr | ||
python ../../../../shared/python/getpre.py collect.kw read.html parse.html | ||
python ../../../extraction/bnf2bgf/html2bgf.py parse.html read2.bgf | ||
|
||
test: | ||
../../../../shared/tools/checkxml bgf impl2.bgf | ||
../../../../shared/tools/checkxml bgf read2.bgf | ||
../../../../shared/tools/gdts impl2.bgf extracted-implementable-grammar.bgf | ||
../../../../shared/tools/gdts read2.bgf extracted-readable-grammar.bgf | ||
|
||
clean: | ||
rm -f *.bgf parse.html |
File renamed without changes.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
File renamed without changes.
File renamed without changes.
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 |
---|---|---|
@@ -0,0 +1,30 @@ | ||
all: | ||
make build | ||
make test | ||
|
||
build: | ||
make impl | ||
make read | ||
|
||
debug: | ||
python ../../../extraction/bnf2bgf/html2bgf.py impl.html impl3.bgf -v | ||
python ../../../../shared/python/getpre.py collect.kw read.html parse.html | ||
python ../../../extraction/bnf2bgf/html2bgf.py parse.html read3.bgf -v | ||
|
||
impl: | ||
@echo "Extracting impl3" > /dev/stderr | ||
python ../../../extraction/bnf2bgf/html2bgf.py impl.html impl3.bgf | ||
|
||
read: | ||
@echo "Extracting read3" > /dev/stderr | ||
python ../../../../shared/python/getpre.py collect.kw read.html parse.html | ||
python ../../../extraction/bnf2bgf/html2bgf.py parse.html read3.bgf | ||
|
||
test: | ||
../../../../shared/tools/checkxml bgf impl3.bgf | ||
../../../../shared/tools/checkxml bgf read3.bgf | ||
../../../../shared/tools/gdts impl3.bgf extracted-implementable-grammar.bgf | ||
../../../../shared/tools/gdts read3.bgf extracted-readable-grammar.bgf | ||
|
||
clean: | ||
rm -f *.bgf parse.html |
File renamed without changes.
Large diffs are not rendered by default.
Oops, something went wrong.
Large diffs are not rendered by default.
Oops, something went wrong.
File renamed without changes.
File renamed without changes.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
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