Searched refs:atc_logic_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile460 atc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs) macro
462 generated_rule_files = $(atc_der_files) $(atc_logic_files)
/hets/debian/
H A Drules460 atc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs) macro
462 generated_rule_files = $(atc_der_files) $(atc_logic_files)

Completed in 33 milliseconds