diff options
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 195 |
1 files changed, 0 insertions, 195 deletions
diff --git a/test/Makefile b/test/Makefile deleted file mode 100644 index 395740d1a3..0000000000 --- a/test/Makefile +++ /dev/null @@ -1,195 +0,0 @@ -######################################################################### -# # -# Objective Caml # -# # -# Xavier Leroy, projet Cristal, INRIA Rocquencourt # -# # -# Copyright 1999 Institut National de Recherche en Informatique et # -# en Automatique. All rights reserved. This file is distributed # -# under the terms of the Q Public License version 1.0. # -# # -######################################################################### - -# $Id$ - -include ../config/Makefile - -CAMLC=../boot/ocamlrun ../ocamlc -CAMLOPT=../boot/ocamlrun ../ocamlopt -COMPFLAGS=-nostdlib -I ../stdlib -I KB -I Lex -OPTFLAGS=-S -CAMLYACC=../yacc/ocamlyacc -YACCFLAGS=-v -CAMLLEX=../boot/ocamlrun ../lex/ocamllex -CAMLDEP=../boot/ocamlrun ../tools/ocamldep -CAMLRUN=../byterun/ocamlrun -CODERUNPARAMS=OCAMLRUNPARAM='o=100' - -BYTE_EXE=fib.byt takc.byt taku.byt sieve.byt quicksort.byt quicksort.fast.byt \ - fft.byt fft.fast.byt soli.byt soli.fast.byt boyer.byt kb.byt \ - nucleic.byt genlex.byt bdd.byt hamming.byt sorts.byt \ - almabench.byt almabench.fast.byt - -CODE_EXE=$(BYTE_EXE:.byt=.out) - -default: all codetest bytetest - -all: $(BYTE_EXE) $(CODE_EXE) - -# Nucleic - -nucleic.out: nucleic.ml - case $(ARCH) in \ - i386) sed -e '/<HAND_CSE>/,/<\/HAND_CSE>/d' -e '/NO_CSE>/d' \ - nucleic.ml > nucleic.mlt; \ - $(CAMLOPT) $(COMPFLAGS) $(OPTFLAGS) -o nucleic.out nucleic.mlt;\ - rm -f nucleic.mlt;; \ - *) $(CAMLOPT) $(COMPFLAGS) $(OPTFLAGS) -o nucleic.out nucleic.ml; \ - esac - -# KB - -BYTE_KB=KB/terms.cmo KB/equations.cmo KB/kb.cmo KB/orderings.cmo KB/kbmain.cmo -CODE_KB=$(BYTE_KB:.cmo=.cmx) - -kb.byt: $(BYTE_KB) - $(CAMLC) $(COMPFLAGS) $(BYTE_KB) -o kb.byt -kb.out: $(CODE_KB) - $(CAMLOPT) $(COMPFLAGS) $(OPTFLAGS) $(CODE_KB) -o kb.out - -clean:: - rm -f KB/*.cm[iox] KB/*.[os] - rm -f KB/*~ - -# Genlex - -BYTE_GENLEX=Lex/syntax.cmo Lex/scan_aux.cmo Lex/scanner.cmo Lex/gram_aux.cmo \ - Lex/grammar.cmo Lex/lexgen.cmo Lex/output.cmo Lex/main.cmo -CODE_GENLEX=$(BYTE_GENLEX:.cmo=.cmx) - -genlex.byt: $(BYTE_GENLEX) - $(CAMLC) $(COMPFLAGS) $(BYTE_GENLEX) -o genlex.byt -genlex.out: $(CODE_GENLEX) - $(CAMLOPT) $(COMPFLAGS) $(OPTFLAGS) $(CODE_GENLEX) -o genlex.out - -clean:: - rm -f Lex/*.cm[iox] Lex/*.[os] - rm -f Lex/*~ - rm -f Lex/grammar.output - -Lex/grammar.ml Lex/grammar.mli: Lex/grammar.mly ../yacc/ocamlyacc$(EXE) - $(CAMLYACC) $(YACCFLAGS) Lex/grammar.mly - -clean:: - rm -f Lex/grammar.ml Lex/grammar.mli -beforedepend:: Lex/grammar.ml Lex/grammar.mli - -Lex/scanner.ml: Lex/scanner.mll ../lex/ocamllex - $(CAMLLEX) Lex/scanner.mll - -clean:: - rm -f Lex/scanner.ml -beforedepend:: Lex/scanner.ml - -# Common rules - -.SUFFIXES: -.SUFFIXES: .mli .ml .cmi .cmo .cmx .byt .fast.byt .out .fast.out - -.ml.byt: - $(CAMLC) $(COMPFLAGS) -o $*.byt $< - -.ml.fast.byt: - cp $*.ml $*_fast.ml - $(CAMLC) $(COMPFLAGS) -unsafe -o $*.fast.byt $*_fast.ml - rm -f $*_fast.ml - -.ml.out: - $(CAMLOPT) $(COMPFLAGS) $(OPTFLAGS) -o $*.out $< - -.ml.fast.out: - cp $*.ml $*_fast.ml - $(CAMLOPT) $(COMPFLAGS) $(OPTFLAGS) -unsafe -o $*.fast.out $*_fast.ml - rm -f $*_fast.ml - -.mli.cmi: - $(CAMLC) $(COMPFLAGS) -c $< - -.ml.cmo: - $(CAMLC) $(COMPFLAGS) -c $< - -.ml.cmx: - $(CAMLOPT) $(COMPFLAGS) $(OPTFLAGS) -c $< - -$(BYTE_EXE) $(BYTE_KB) $(BYTE_GENLEX): ../ocamlc -$(BYTE_EXE): ../stdlib/stdlib.cma -$(CODE_EXE) $(CODE_KB) $(CODE_GENLEX): ../ocamlopt -$(CODE_EXE): ../stdlib/stdlib.cmxa ../stdlib/libasmrun.a - -clean:: - rm -f *.byt *.out - rm -f *.cm[iox] *.[os] - rm -f *~ - -# Regression test - -test: codetest - -bytetest: - set -e; \ - for prog in $(BYTE_EXE:.byt=); do \ - echo $$prog; \ - if test -f Results/$$prog.runtest; then \ - sh Results/$$prog.runtest test $(CAMLRUN) $$prog.byt; \ - else \ - $(CAMLRUN) $$prog.byt | cmp - Results/$$prog.out; \ - fi; \ - done - -codetest: - set -e; \ - for prog in $(CODE_EXE:.out=); do \ - echo $$prog; \ - if test -f Results/$$prog.runtest; then \ - sh Results/$$prog.runtest test ./$$prog.out; \ - else \ - ./$$prog.out | cmp - Results/$$prog.out; \ - fi; \ - done - -clean:: - rm -f Lex/testscanner.ml - -# Benchmark - -bench: codebench - -bytebench: - set -e; \ - for prog in $(BYTE_EXE:.byt=); do \ - echo "$$prog " | cut -c 1-16 | tr -d '\012'; \ - if test -f Results/$$prog.runtest; then \ - sh Results/$$prog.runtest bench $(CAMLRUN) $$prog.byt; \ - else \ - xtime -o /dev/null -e /dev/null $(CAMLRUN) $$prog.byt; \ - fi; \ - done - -codebench: - set -e; \ - for prog in $(CODE_EXE:.out=); do \ - echo "$$prog " | cut -c 1-16 | tr -d '\012'; \ - if test -f Results/$$prog.runtest; then \ - $(CODERUNPARAMS) sh Results/$$prog.runtest bench ./$$prog.out; \ - else \ - $(CODERUNPARAMS) xtime -repeat 3 -o /dev/null -e /dev/null ./$$prog.out; \ - fi; \ - done - -# Dependencies - -depend: beforedepend - $(CAMLDEP) -I KB -I Lex *.mli *.ml KB/*.mli KB/*.ml Lex/*.mli Lex/*.ml > .depend - -include .depend - |