Skip to content

Commit 5fee51b

Browse files
committed
Add compatibility for new location of unix
1 parent 6d2eb3c commit 5fee51b

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

bootstrap

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
#!/usr/bin/env bash
22

33
libs="unix.cmxa"
4-
OCAMLOPT="ocamlopt -g"
4+
OCAMLOPT="ocamlopt -g -I +unix"
55
# use faster ocamlopt, if available
66
OCAMLOPT_OPT=`which ocamlopt.opt`
77
if [[ $OCAMLOPT_OPT != "" ]] ; then
8-
OCAMLOPT="ocamlopt.opt -g"
8+
OCAMLOPT="ocamlopt.opt -g -I +unix"
99
fi
1010
OCAMLVER=`$OCAMLOPT -vnum`
1111
echo $OCAMLVER

0 commit comments

Comments
 (0)