diff options
author | lrg <lrg@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-20 10:38:22 +0000 |
---|---|---|
committer | lrg <lrg@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-10-20 10:38:22 +0000 |
commit | f0198ebf9430d286ce7c9a53b703e967ce86481c (patch) | |
tree | ac069673f4a94e079bf12505c4f0a58baeea34ef /test/littlesemantics/Makefile.orig | |
parent | eb7c8587f462adca878088ef5f610c81734efc70 (diff) | |
download | compcert-f0198ebf9430d286ce7c9a53b703e967ce86481c.tar.gz compcert-f0198ebf9430d286ce7c9a53b703e967ce86481c.zip |
interpreter for "little"
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@119 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/littlesemantics/Makefile.orig')
-rw-r--r-- | test/littlesemantics/Makefile.orig | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test/littlesemantics/Makefile.orig b/test/littlesemantics/Makefile.orig new file mode 100644 index 00000000..95c295b1 --- /dev/null +++ b/test/littlesemantics/Makefile.orig @@ -0,0 +1,41 @@ +all : interp1 interp2 + +interp1 : little.tab.c lex.yy.o little.h little.o + cc -o interp1 little.o lex.yy.o little.tab.c + +lex.yy.c : little.flex little.tab.h + flex little.flex + +little.tab.c little.tab.h : little.y + bison -d little.y + +interp2 : little_interp.ml little_syntax.cmo little_lex.cmo little.cmo + ocamlc -o interp2 \ + little.cmo little_syntax.cmo little_lex.cmo little_interp.ml + +.SUFFIXES: # Necessary to avoid that yacc is called on the .y file +.SUFFIXES: .ml .mli .cmo .cmi .c .o +.mli.cmi : + ocamlc -c $*.mli + +.ml.cmo : + ocamlc -c $*.ml + +.c.o : + cc -c $*.c + +little_syntax.ml little_syntax.mli : little_syntax.mly little.cmo + ocamlyacc little_syntax.mly + +little_syntax.cmo : little_syntax.cmi + +little_lex.cmo : little_lex.cmi + +little_lex.ml : little_lex.mll + ocamllex little_lex.mll + +clean : + rm -f little_lex.ml little_syntax.ml little_syntax.mli \ + *.cmo *.cmi interp[12] *.o little.tab.c lex.yy.c \ + little.tab.h *.output *.log *.pdf *.dvi *.aux + |