From 8014f25f6db719fa62336f997963532a14c568f6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 21 Jan 2012 04:30:10 -0800 Subject: Major restructuring of the code. --- src/proof/cec/module.make | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/proof/cec/module.make (limited to 'src/proof/cec/module.make') diff --git a/src/proof/cec/module.make b/src/proof/cec/module.make new file mode 100644 index 00000000..bac6e9bc --- /dev/null +++ b/src/proof/cec/module.make @@ -0,0 +1,13 @@ +SRC += src/proof/cec/cecCec.c \ + src/proof/cec/cecChoice.c \ + src/proof/cec/cecClass.c \ + src/proof/cec/cecCore.c \ + src/proof/cec/cecCorr.c \ + src/proof/cec/cecIso.c \ + src/proof/cec/cecMan.c \ + src/proof/cec/cecPat.c \ + src/proof/cec/cecSeq.c \ + src/proof/cec/cecSim.c \ + src/proof/cec/cecSolve.c \ + src/proof/cec/cecSynth.c \ + src/proof/cec/cecSweep.c -- cgit v1.2.3