summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile8
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 4899629ed0..0b62733671 100644
--- a/Makefile
+++ b/Makefile
@@ -334,6 +334,14 @@ ocaml: compilerlibs/ocamlcommon.cma compilerlibs/ocamlbytecomp.cma \
partialclean::
rm -f ocaml
+RUNTOP=./byterun/ocamlrun ./ocaml -nostdlib -I stdlib -noinit $(TOPFLAGS)
+
+runtop:
+ $(MAKE) runtime
+ $(MAKE) coreall
+ $(MAKE) ocaml
+ @rlwrap --help 2>/dev/null && rlwrap $(RUNTOP) || $(RUNTOP)
+
# The native toplevel
ocamlnat: ocamlopt otherlibs/dynlink/dynlink.cmxa $(NATTOPOBJS:.cmo=.cmx)