helm/ocaml/tactics/Makefile

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