fork for Matita version B

[helm.git] / matitaB / matita / contribs / assembly / parser / build.sh

diff --git a/matitaB/matita/contribs/assembly/parser/build.sh b/matitaB/matita/contribs/assembly/parser/build.sh
new file mode 100755 (executable)
index 0000000..f0d471d
--- /dev/null
+++ b/matitaB/matita/contribs/assembly/parser/build.sh
@@ -0,0 +1,6 @@
+
+flex scanner.flex
+gcc -o scanner lex.yy.c
+bison parser.y
+gcc -o parser parser.tab.c
+rm -f lex.yy.c parser.tab.c