diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-02-17 13:44:32 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-02-17 13:44:32 +0000 |
commit | 6224148fdd809170d138216d72b8e6180d626aec (patch) | |
tree | f67127b4ab6026f5e29d0b6aa69bec4f8a223fb2 /test/littlesemantics/Makefile.orig | |
parent | f9ebf19ba3ca4c3ee67cc88bbea407d4dd734249 (diff) | |
download | compcert-kvx-6224148fdd809170d138216d72b8e6180d626aec.tar.gz compcert-kvx-6224148fdd809170d138216d72b8e6180d626aec.zip |
Reorganization test directory
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1253 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/littlesemantics/Makefile.orig')
-rw-r--r-- | test/littlesemantics/Makefile.orig | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/test/littlesemantics/Makefile.orig b/test/littlesemantics/Makefile.orig deleted file mode 100644 index 95c295b1..00000000 --- a/test/littlesemantics/Makefile.orig +++ /dev/null @@ -1,41 +0,0 @@ -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 - |