diff options
Diffstat (limited to 'Makefile.extr')
-rw-r--r-- | Makefile.extr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.extr b/Makefile.extr index e4b24ecd..6035eb9a 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -112,7 +112,7 @@ ccomp.byte: $(CCOMP_OBJS:.cmx=.cmo) @echo "Linking $@" @$(OCAMLC) -o $@ $(LIBS_BYTE) $+ -CLIGHTGEN_OBJS:=$(shell $(MODORDER) export/Clightgen.cmx) +CLIGHTGEN_OBJS:=$(shell $(MODORDER) export/ExportDriver.cmx) ifeq ($(OCAML_NATIVE_COMP),true) clightgen: $(CLIGHTGEN_OBJS) |