Restore full Cygwin64 on Jenkins (#9931)

dra27 · web-flow · commit 0f7d0a640578 · 2020-12-04T17:54:22.000+01:00
* Enable full Cygwin64 build on precheck
* Remove dorebase option, no longer required.
diff --git a/tools/ci/inria/main b/tools/ci/inria/main
@@ -128,7 +128,6 @@ ${OCAML_CONFIGURE_OPTIONS}"
 make_native=true
 cleanup=false
 check_make_alldepend=false
-dorebase=false
 jobs=''
 bootstrap=false
 
@@ -149,8 +148,6 @@ case "${OCAML_ARCH}" in
   cygwin64)
     cleanup=true
     check_make_alldepend=true
-    dorebase=false
-    confoptions="$confoptions --disable-shared "
   ;;
   mingw)
     build='--build=i686-pc-cygwin'
@@ -249,13 +246,6 @@ if $make_native && $check_make_alldepend; then
   $make --warn-undefined-variables alldepend
 fi
 
-if $dorebase; then
-    # temporary solution to the cygwin fork problem
-    # see https://github.com/alainfrisch/flexdll/issues/50
-    rebase -b 0x7cd20000 otherlibs/unix/dllunix.so
-    rebase -b 0x7cdc0000 otherlibs/systhreads/dllthreads.so
-fi
-
 $make --warn-undefined-variables install
 rm -rf "$instdir"
 
