Cross Reference: /hets/Makefile

Lines Matching defs:GENRULES
76 GENRULES = utils/genRules
77 GENRULECALL = $(GENRULES) -r ShATermConvertible \
80 GENRULECALL2 = $(GENRULES) -r ShATermLG \
170 Haskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
216 ATC/Id.der.hs: Common/Id.hs $(GENRULES)
219 ATC/IRI.der.hs: Common/IRI.hs $(GENRULES)
222 ATC/Result.der.hs: Common/Result.hs $(GENRULES)
225 ATC/OrderedMap.der.hs: Common/OrderedMap.hs $(GENRULES)
228 ATC/Graph.der.hs: Common/Lib/Graph.hs $(GENRULES)
231 ATC/ProofTree.der.hs: Common/ProofTree.hs $(GENRULES)
234 ATC/AS_Annotation.der.hs: Common/AS_Annotation.der.hs $(GENRULES)
237 ATC/Consistency.der.hs: Common/Consistency.hs $(GENRULES)
240 ATC/LibName.der.hs: Common/LibName.hs $(GENRULES)
243 ATC/ExtSign.der.hs: Common/ExtSign.hs $(GENRULES)
246 ATC/DefaultMorphism.der.hs: Common/DefaultMorphism.hs $(GENRULES)
249 ATC/AS_Structured.der.hs: Syntax/AS_Structured.der.hs $(GENRULES)
252 ATC/AS_Architecture.der.hs: Syntax/AS_Architecture.der.hs $(GENRULES)
255 ATC/AS_Library.der.hs: Syntax/AS_Library.der.hs $(GENRULES)
258 ATC/GlobalAnnotations.der.hs: Common/GlobalAnnotations.hs $(GENRULES)
261 ATC/Prover.der.hs: Logic/Prover.hs $(GENRULES)
266 ATC/DgUtils.der.hs: Static/DgUtils.hs $(GENRULES)
269 ATC/XGraph.der.hs: Static/XGraph.hs $(GENRULES)
272 ATC/DevGraph.der.hs: Static/DevGraph.hs $(GENRULES)
352 CASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
355 RelationalScheme/ATC_RelationalScheme.der.hs: $(RS_files) $(GENRULES)
358 Propositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES)
361 QBF/ATC_QBF.der.hs: $(QBF_files) $(GENRULES)
365 HolLight/ATC_HolLight.der.hs: $(HolLight_files) $(GENRULES)
368 HasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES)
371 Isabelle/ATC_Isabelle.der.hs: $(Isabelle_files) $(GENRULES)
374 Modal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
377 Hybrid/ATC_Hybrid.der.hs: $(Hybrid_files) $(GENRULES)
380 TopHybrid/ATC_TopHybrid.der.hs: $(TopHybrid_files) $(GENRULES)
383 Temporal/ATC_Temporal.der.hs: $(Temporal_files) $(GENRULES)
386 ConstraintCASL/ATC_ConstraintCASL.der.hs: $(ConstraintCASL_files) $(GENRULES)
389 CASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
392 CoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
395 COL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
398 CspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
401 SoftFOL/ATC_SoftFOL.der.hs: $(SoftFOL_files) $(GENRULES)
404 VSE/ATC_VSE.der.hs: $(VSE_files) $(GENRULES)
407 OMDoc/ATC_OMDoc.der.hs: $(OMDoc_files) $(GENRULES)
410 DFOL/ATC_DFOL.der.hs: $(DFOL_files) $(GENRULES)
413 LF/ATC_LF.der.hs: $(LF_files) $(GENRULES)
416 Framework/ATC_Framework.der.hs: $(Framework_files) $(GENRULES)
419 Maude/ATC_Maude.der.hs: $(Maude_files) $(GENRULES)
422 ExtModal/ATC_ExtModal.der.hs: $(ExtModal_files) $(GENRULES)
425 CSL/ATC_CSL.der.hs: $(CSL_files) $(GENRULES)
428 CommonLogic/ATC_CommonLogic.der.hs: $(CommonLogic_files) $(GENRULES)
431 Adl/ATC_Adl.der.hs: $(Adl_files) $(GENRULES)
434 Fpl/ATC_Fpl.der.hs: $(Fpl_files) $(GENRULES)
437 THF/ATC_THF.der.hs: $(THF_files) $(GENRULES)
440 FreeCAD/ATC_FreeCAD.der.hs: $(FreeCAD_files) $(GENRULES)
443 OWL2/ATC_OWL2.der.hs: $(OWL2_files) $(GENRULES)
446 RDF/ATC_RDF.der.hs: $(RDF_files) $(GENRULES)
449 CSMOF/ATC_CSMOF.der.hs: $(CSMOF_files) $(GENRULES)
452 QVTR/ATC_QVTR.der.hs: $(QVTR_files) CSMOF/ATC_CSMOF.hs $(GENRULES)
456 TPTP/ATC_TPTP.der.hs: $(TPTP_files) $(GENRULES)
578 $(GENRULES): $(DRIFT) $(GENERATERULES_deps)