summaryrefslogtreecommitdiff
path: root/testsuite/tests/driver/dynamicToo/dynamicToo005/Makefile
blob: a08827a92dd467e6aa2ba702fe0543dec0920178 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
TOP=../../../..
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/test.mk

checkExists = [ -f $1 ] || echo $1 missing

.PHONY: dynamicToo005
# Check that "-c -dynamic-too" works with signatures
dynamicToo005:
	"$(TEST_HC)" $(TEST_HC_OPTS) -dynamic-too -v0 \
                               -sig-of A005=base:Prelude \
                               -c A005.hs-boot
	$(call checkExists,A005.o-boot)
	$(call checkExists,A005.hi-boot)
	"$(TEST_HC)" $(TEST_HC_OPTS) -dynamic-too -v0 \
                               --merge-requirements A005
	$(call checkExists,A005.o)
	$(call checkExists,A005.hi)
	$(call checkExists,A005.dyn_o)
	$(call checkExists,A005.dyn_hi)