# Directories COBERTURA_DIR = /net/ens/renault/save/cobertura-1.9.4.1 INSTR_DIR = ./instr REPORT_DIR = ./report # Jar files JUNIT_JAR = jars/junit-4.6.jar JUNITEXT_JAR = jars/junit-ui-runners-3.8.2.jar # For graphical runners HAMCREST_JAR = jars/hamcrest-all-SNAPSHOT.jar COBERTURA_JAR = jars/cobertura.jar MOCKITO_JAR=jars/mockito-all-1.8.5.jar QCHCK_JAR=jars/quickcheck-0.6.jar:jars/quickcheck-src-generator-0.6.jar # Scripts COBERTURA_INSTR = $(COBERTURA_DIR)/cobertura-instrument.sh COBERTURA_REPORT = $(COBERTURA_DIR)/cobertura-report.sh # Compile options JAVACP = -cp "$(INSTR_DIR):.:$(HAMCREST_JAR):$(JUNIT_JAR):$(MOCKITO_JAR):$(COBERTURA_JAR):$(QCHCK_JAR)" JAVAOPTS = -proc:none JUNITRUNNER = org.junit.runner.JUnitCore #JUNITRUNNER = junit.swingui.TestRunner # JUnit 3 OBJS = \ Buffer.class \ Editor.class \ KillRing.class \ Launch.class MOCKS = \ BufferMock.class \ KillRingMock.class TESTS = \ BufferTest.class \ KillRingTest.class \ EditorTest.class all : $(OBJS) $(MOCKS) $(TESTS) %.class : %.java javac $(JAVAOPTS) $(JAVACP) $< instrument : $(COBERTURA_INSTR) --destination $(INSTR_DIR) $(OBJS) test : instrument $(OBJS) $(TESTS) java $(JAVACP) $(JUNITRUNNER) $(TESTS:.class=) launch: java $(JAVACP) Launch \ # Allows testing Launch report : test launch $(COBERTURA_REPORT) --destination $(REPORT_DIR) . clean : rm -rf *~ *.class $(INSTR_DIR) $(REPORT_DIR) cobertura.ser