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