Cross Reference: /hets/debian/rules

Lines Matching refs:GENRULECALL
77 GENRULECALL = $(GENRULES) -r ShATermConvertible \
171 	$(GENRULECALL) -r Typeable -i Data.Typeable -i Haskell.BaseATC \
217 	$(GENRULECALL) -o $@ $<
220 	$(GENRULECALL) -i ATC.Id -o $@ $<
223 	$(GENRULECALL) -i ATC.Id -o $@ $<
226 	$(GENRULECALL) -o $@ $<
229 	$(GENRULECALL) -o $@ $<
232 	$(GENRULECALL) -o $@ $<
235 	$(GENRULECALL) -i ATC.IRI -i Common.ATerm.ConvInstances -o $@ $<
238 	$(GENRULECALL) -x Common.Consistency.ConservativityChecker -o $@ $<
241 	$(GENRULECALL) -i ATC.IRI -i Common.ATerm.ConvInstances -o $@ $<
244 	$(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $<
247 	$(GENRULECALL) -o $@ $<
259 	$(GENRULECALL) -i ATC.AS_Annotation -i ATC.Result -o $@ $<
262 	$(GENRULECALL) -x Logic.Prover.ProverTemplate \
353 	$(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
356 	$(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(RS_files)
359 	$(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)
362 	$(GENRULECALL) -i ATC.AS_Annotation -o $@ $(QBF_files)
366 	$(GENRULECALL) -i ATC.AS_Annotation -o $@ $(HolLight_files)
369 	$(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)
372 	$(GENRULECALL) -o $@ $(Isabelle_files)
375 	$(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
378 	$(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Hybrid_files)
381 	$(GENRULECALL) -i ATC.AS_Annotation -o $@ $(TopHybrid_files)
384 	$(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Temporal_files)
387 	$(GENRULECALL) -i CASL.ATC_CASL -o $@ $(ConstraintCASL_files)
390 	$(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
393 	$(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
396 	$(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
399 	$(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
402 	$(GENRULECALL) -i ATC.AS_Annotation -o $@ $(SoftFOL_files)
405 	$(GENRULECALL) -x VSE.As.FoldRec -i CASL.ATC_CASL -o $@ $(VSE_files)
408 	$(GENRULECALL) -i ATC.IRI -o $@ $(OMDoc_files)
411 	$(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(DFOL_files)
414 	$(GENRULECALL)	-i ATC.AS_Annotation -o $@ $(LF_files)
417 	$(GENRULECALL)	-i ATC.AS_Annotation -o $@ $(Framework_files)
420 	$(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(Maude_files)
423 	$(GENRULECALL)  -i CASL.ATC_CASL -o $@ $(ExtModal_files)
426 	$(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CSL_files)
429 	$(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(CommonLogic_files)
432 	$(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(Adl_files)
435 	$(GENRULECALL)  -i CASL.ATC_CASL -o $@ $(Fpl_files)
438 	$(GENRULECALL) -i ATC.Id -i ATC.GlobalAnnotations -o $@ $(THF_files)
441 	$(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $(FreeCAD_files)
444 	$(GENRULECALL) -i ATC.Result -o $@ $(OWL2_files)
447 	$(GENRULECALL) -i ATC.Result -o $@ $(RDF_files)
450 	$(GENRULECALL) -i Common.ATerm.ConvInstances -o $@ $(CSMOF_files)
453 	$(GENRULECALL) -i CSMOF.ATC_CSMOF -i Common.ATerm.ConvInstances \
457 	$(GENRULECALL)  -i ATC.AS_Annotation -o $@ $(TPTP_files)