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