cygwin CI: rebase to avoid fork problems
parent
bb542955c0
commit
19f435dc54
|
@ -100,6 +100,7 @@ confoptions="${OCAML_CONFIGURE_OPTIONS}"
|
||||||
make_native=true
|
make_native=true
|
||||||
cleanup=false
|
cleanup=false
|
||||||
check_make_alldepend=false
|
check_make_alldepend=false
|
||||||
|
dorebase=false
|
||||||
|
|
||||||
case "${OCAML_ARCH}" in
|
case "${OCAML_ARCH}" in
|
||||||
bsd) make=gmake ;;
|
bsd) make=gmake ;;
|
||||||
|
@ -111,6 +112,7 @@ case "${OCAML_ARCH}" in
|
||||||
cygwin)
|
cygwin)
|
||||||
cleanup=true
|
cleanup=true
|
||||||
check_make_alldepend=true
|
check_make_alldepend=true
|
||||||
|
dorebase=true
|
||||||
;;
|
;;
|
||||||
mingw)
|
mingw)
|
||||||
instdir='C:/ocamlmgw'
|
instdir='C:/ocamlmgw'
|
||||||
|
@ -209,6 +211,11 @@ if $make_native; then
|
||||||
$make opt.opt
|
$make opt.opt
|
||||||
if $check_make_alldepend; then $make alldepend; fi
|
if $check_make_alldepend; then $make alldepend; fi
|
||||||
fi
|
fi
|
||||||
|
if $dorebase; then
|
||||||
|
# temporary solution to the cygwin fork problem
|
||||||
|
rebase -b 0x7cd20000 otherlibs/unix/dllunix.so
|
||||||
|
rebase -b 0x7cdc0000 otherlibs/systhreads/dllthreads.so
|
||||||
|
fi
|
||||||
$make install
|
$make install
|
||||||
|
|
||||||
rm -rf "$instdir"
|
rm -rf "$instdir"
|
||||||
|
|
Loading…
Reference in New Issue