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         proofEngineReduction.mli proofEngineHelpers.mli \
   8         tacticals.mli reductionTactics.mli proofEngineStructuralRules.mli \
   9         primitiveTactics.mli tacticChaser.mli variousTactics.mli \
  10         introductionTactics.mli eliminationTactics.mli negationTactics.mli \
  11         equalityTactics.mli discriminationTactics.mli ring.mli fourierR.mli
  12 IMPLEMENTATION_FILES = proofEngineTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
  13
  14 include ../Makefile.common
  15