A parser (and a scanner) to import "~C" files into Matita.

[helm.git] / helm / software / matita / contribs / assembly / parser / build.bat

diff --git a/helm/software/matita/contribs/assembly/parser/build.bat b/helm/software/matita/contribs/assembly/parser/build.bat
new file mode 100755 (executable)
index 0000000..5c26d42
--- /dev/null
+++ b/helm/software/matita/contribs/assembly/parser/build.bat
@@ -0,0 +1,10 @@
+flex -oscanner.c scanner.flex\r
+\r
+d:\r
+cd \\r
+cd Programmi\GnuWin32\bin\\r
+bison.exe H:\Esami\Tesi\Sorgenti\parser\parser.y\r
+copy parser.tab.c H:\Esami\Tesi\Sorgenti\parser\parser.c\r
+del parser.tab.c\r
+\r
+h:\r