helm/ocaml/tactics/Makefile

   1 PACKAGE = tactics
   2 REQUIRES = \
   3         pcre helm-cic_textual_parser helm-cic_proof_checking \
   4         helm-cic_unification helm-mathql_interpreter helm-mathql_generator
   5
   6 INTERFACE_FILES = \
   7         newConstraints.mli match_concl.mli filter_auto.mli\
   8         proofEngineReduction.mli proofEngineHelpers.mli \
   9         newConstraints.mli match_concl.mli \
  10         tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli \
  11         primitiveTactics.mli tacticChaser.mli variousTactics.mli \
  12         introductionTactics.mli eliminationTactics.mli negationTactics.mli \
  13         equalityTactics.mli discriminationTactics.mli ring.mli fourier.mli \
  14         fourierR.mli statefulProofEngine.mli
  15 IMPLEMENTATION_FILES = proofEngineTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
  16
  17 include ../Makefile.common
  18