blob: 5e79efe4cfe04c6adf5dea37d2b781014d692b85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# Needs to be called from CompCert root directory
# $ make -f mppa_k1c/unittest/Makefile postpass_test
include Makefile.extr
TEST_CMX=mppa_k1c/unittest/postpass_test.cmx
UNITTEST_OBJS:=$(shell $(MODORDER) $(TEST_CMX))
postpass_test: $(UNITTEST_OBJS)
@echo "Linking $@ $(UNITTEST_OBJS)"
@$(OCAMLOPT) -o $@ $(LIBS) $(LINK_OPT) $+
|