Lines Matching refs:opt
477 .PHONY: all hets-opt hets-optimized hets_server-opt docs jars \
503 %-opt: HC_OPTS += -O
506 hets_server hets_server-opt: HASKELINE_PACKAGE :=
507 hets_server hets_server-opt: GLADE_PACKAGE :=
508 hets_server hets_server-opt: UNI_PACKAGE :=
509 hets_server hets_server-opt: check_server $(derived_sources)
514 hets-opt: check_desktop $(derived_sources)
520 hets-optimized: hets-opt
522 hets_cgi hets_cgi-opt: check_cgi GUI/hets_cgi.hs $(derived_sources)
908 $(MAKE) $*-opt