Skip to content

Commit

Permalink
Add compatibility for new location of unix
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Mar 19, 2022
1 parent 6d2eb3c commit 5fee51b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions bootstrap
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
#!/usr/bin/env bash

libs="unix.cmxa"
OCAMLOPT="ocamlopt -g"
OCAMLOPT="ocamlopt -g -I +unix"
# use faster ocamlopt, if available
OCAMLOPT_OPT=`which ocamlopt.opt`
if [[ $OCAMLOPT_OPT != "" ]] ; then
OCAMLOPT="ocamlopt.opt -g"
OCAMLOPT="ocamlopt.opt -g -I +unix"
fi
OCAMLVER=`$OCAMLOPT -vnum`
echo $OCAMLVER
Expand Down

0 comments on commit 5fee51b

Please sign in to comment.