File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -18,10 +18,14 @@ function configure_ocaml {
1818 cp config/m-nt.h $HEADER_DIR /m.h
1919 cp config/s-nt.h $HEADER_DIR /s.h
2020
21+ if [ " $1 " = " full" ] ; then
22+ DISABLE=()
23+ else
24+ DISABLE=(-e " s/\(OTHERLIBRARIES\|WITH_OCAMLDOC\|WITH_DEBUGGER\)=.*/\1=/" )
25+ fi
26+
2127 sed -e " s|PREFIX=.*|PREFIX=$OCAMLROOT |" \
22- -e " s|OTHERLIBRARIES=.*|OTHERLIBRARIES=|" \
23- -e " s|WITH_DEBUGGER=.*|WITH_DEBUGGER=|" \
24- -e " s|WITH_OCAMLDOC=.*|WITH_OCAMLDOC=|" \
28+ " ${DISABLE[@]} " \
2529 config/Makefile.msvc64 > $CONFIG_DIR /Makefile
2630 # run "Content of config/Makefile" cat $CONFIG_DIR/Makefile
2731}
@@ -65,9 +69,9 @@ if [ $OCAMLBRANCH = "4.03" ] ; then
6569 sed -i -e " s/:=.*/:=/" config/Makefile.msvc64
6670fi
6771
68- configure_ocaml
69-
7072if [ ! -f $OCAMLROOT /STAMP ] || [ " $( git rev-parse HEAD) " != " $( cat $OCAMLROOT /STAMP) " ]; then
73+ configure_ocaml
74+
7175 run " make world.opt" $MAKEOCAML flexdll world.opt
7276 run " make install" $MAKEOCAML install
7377
@@ -101,9 +105,10 @@ if [ -f ocamlopt.opt ] ; then
101105 cd flexdll
102106 git clean -dfx > /dev/null
103107 cd ..
104- configure_ocaml
105108fi
106109
110+ configure_ocaml full
111+
107112cd flexdll
108113git remote add local $( echo " $APPVEYOR_BUILD_FOLDER " | cygpath -f -) -f --tags
109114run " git checkout $APPVEYOR_REPO_COMMIT " git checkout merge
You can’t perform that action at this time.
0 commit comments