Revision 49e11c49 Makefile.am

b/Makefile.am
450 450
	  echo "Error: htools compilation disabled at configure time" 1>&2 ;\
451 451
	  exit 1; \
452 452
	fi
453
	BINARY=$(@:htools/%=%); \
454
	if [ "$$BINARY" = "test" ] && [ -z "$(GHC_PKG_QUICKCHECK)" ]; then \
453
	@BINARY=$(@:htools/%=%); \
454
	if [ "$BINARY" = "test" ] && [ -z "$(GHC_PKG_QUICKCHECK)" ]; then \
455 455
	  echo "Error: cannot run unittests without the QuickCheck library (see devnotes.rst)" 1>&2; \
456 456
	  exit 1; \
457
	fi; \
458
	$(GHC) --make \
457
	fi
458
	BINARY=$(@:htools/%=%); $(GHC) --make \
459 459
	  $(HFLAGS) $(HEXTRA) $(HTOOLS_NOCURL) \
460
	  -osuf $$BINARY.o -hisuf $$BINARY.hi \
461
	  $@
460
	  -osuf $$BINARY.o -hisuf $$BINARY.hi $@
462 461

  
463 462
# for the htools/test binary, we need to enable profiling/coverage
464 463
htools/test: HEXTRA=-fhpc -Wwarn -fno-warn-missing-signatures \
......
981 980
	$(CHECK_VERSION) $(VERSION) $(top_srcdir)/NEWS
982 981
	$(CHECK_NEWS) < $(top_srcdir)/NEWS
983 982

  
983
.PHONY: hs-check
984
hs-check: htools/test
985
	@rm -f test.tix
986
	./htools/test
987

  
984 988
.PHONY: lint
985 989
lint: $(BUILT_SOURCES)
986 990
	@test -n "$(PYLINT)" || { echo 'pylint' not found during configure; exit 1; }

Also available in: Unified diff