Searched refs:HC (Results 1 - 6 of 6) sorted by relevance

/hets/utils/GenerateRules/
H A DMakefile13 HC = ghc macro
35 $(HC) --make -package text -i../..:../DrIFT-src -o $@ $<
/hets/utils/nightly/linux64/
H A Dcronjob.sh26 checkIsaOf Calculi/Time/AllenHayesLadkin_TACAS.het HC
/hets/utils/nightly/linux/
H A Dcronjob.sh34 checkIsaOf Calculi/Time/AllenHayesLadkin_TACAS.het HC
/hets/
H A DMakefile511 $(HC) --make $(HC_OPTS) -o hets_server hets.hs
516 $(HC) --make $(HC_OPTS) -o hets hets.hs
524 $(HC) --make $(HC_OPTS) -o hets.cgi GUI/hets_cgi.hs
567 cd utils/DrIFT-src; $(HC) --make -o ../DrIFT DrIFT.hs
572 $(HC) --make $(HC_OPTS) -iutils/DtdToHaskell-src -o $@ \
580 $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
584 $(HC) --make -o $@ $<
588 $(HC) --make -o $@ $<
659 $(HC) --make $(HC_OPTS) -c $<
681 $(HC)
[all...]
H A Dvar.mk68 HC = $(STACK_EXEC) ghc -optl-s -XTemplateHaskell -threaded $(GHCRTSOPTS) macro
70 HC += $(shell [ $(GHCVERSION) -ge 8000000 ] && echo '-j')
/hets/debian/
H A Drules511 $(HC) --make $(HC_OPTS) -o hets_server hets.hs
516 $(HC) --make $(HC_OPTS) -o hets hets.hs
524 $(HC) --make $(HC_OPTS) -o hets.cgi GUI/hets_cgi.hs
567 cd utils/DrIFT-src; $(HC) --make -o ../DrIFT DrIFT.hs
572 $(HC) --make $(HC_OPTS) -iutils/DtdToHaskell-src -o $@ \
580 $(HC) --make -i../DrIFT-src -i../.. $(HC_WARN) \
584 $(HC) --make -o $@ $<
588 $(HC) --make -o $@ $<
659 $(HC) --make $(HC_OPTS) -c $<
681 $(HC)
[all...]

Completed in 30 milliseconds