summaryrefslogtreecommitdiff
path: root/tools/Makefile.shared
diff options
context:
space:
mode:
authorMark Shinwell <mshinwell@gmail.com>2016-02-10 15:53:57 +0100
committerMark Shinwell <mshinwell@gmail.com>2016-02-10 15:56:13 +0100
commit4f3b8bf87225ffe5f25faf25bc20dc372bf76424 (patch)
treec4a1c8f2ea50aa9800361356df6f43256c9a9671 /tools/Makefile.shared
parente5a1b8b4c456e28e67b5f32ffaef05dc89dbe2da (diff)
downloadocaml-4f3b8bf87225ffe5f25faf25bc20dc372bf76424.tar.gz
Fix ocamlobjinfo for Flambda (includes work from Runhang Li)
Diffstat (limited to 'tools/Makefile.shared')
-rw-r--r--tools/Makefile.shared4
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/Makefile.shared b/tools/Makefile.shared
index 9464a7dacd..18ecb17080 100644
--- a/tools/Makefile.shared
+++ b/tools/Makefile.shared
@@ -18,7 +18,7 @@ CAMLC=$(CAMLRUN) ../boot/ocamlc -nostdlib -I ../boot
CAMLOPT=$(CAMLRUN) ../ocamlopt -nostdlib -I ../stdlib
CAMLLEX=$(CAMLRUN) ../boot/ocamllex
INCLUDES=-I ../utils -I ../parsing -I ../typing -I ../bytecomp -I ../asmcomp \
- -I ../driver -I ../toplevel
+ -I ../middle_end -I ../middle_end/base_types -I ../driver -I ../toplevel
COMPFLAGS= -strict-sequence -w +27+32..39 -warn-error A -safe-string $(INCLUDES)
LINKFLAGS=$(INCLUDES)
@@ -269,7 +269,9 @@ objinfo_helper$(EXE): objinfo_helper.c ../config/s.h
OBJINFO=../compilerlibs/ocamlcommon.cma \
../compilerlibs/ocamlbytecomp.cma \
+ ../compilerlibs/ocamlmiddleend.cma \
../asmcomp/printclambda.cmo \
+ ../asmcomp/export_info.cmo \
objinfo.cmo
objinfo: objinfo_helper$(EXE) $(OBJINFO)