Stuff moved from old Matita.

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

diff --git a/matita/matita/contribs/assembly/parser/build.sh b/matita/matita/contribs/assembly/parser/build.sh
new file mode 100755 (executable)
index 0000000..f0d471d
--- /dev/null
+++ b/matita/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