summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.adoc2
-rwxr-xr-xconfigure18
2 files changed, 4 insertions, 16 deletions
diff --git a/README.adoc b/README.adoc
index b58f86c901..fe07edbba6 100644
--- a/README.adoc
+++ b/README.adoc
@@ -113,5 +113,5 @@ using (machine type, etc).
You can also contact the implementors directly at mailto:caml@inria.fr[].
-For information on contributing to OCaml, see link:HACKING.md[] and
+For information on contributing to OCaml, see link:HACKING.adoc[] and
link:CONTRIBUTING.md[].
diff --git a/configure b/configure
index 5b01086449..aad65927fc 100755
--- a/configure
+++ b/configure
@@ -737,15 +737,6 @@ if test $with_sharedlibs = "yes"; then
mksharedlib="$flexlink"
mkmaindll="$flexlink -maindll"
shared_libraries_supported=true;;
- *-*-linux-gnu|*-*-linux|*-*-freebsd[3-9]*|*-*-freebsd[1-9][0-9]*\
- |*-*-openbsd*|*-*-netbsd*|*-*-dragonfly*|*-*-gnu*|*-*-haiku*)
- sharedcccompopts="-fPIC"
- mksharedlib="$bytecc -shared"
- bytecclinkopts="$bytecclinkopts -Wl,-E"
- byteccrpath="-Wl,-rpath,"
- mksharedlibrpath="-Wl,-rpath,"
- natdynlinkopts="-Wl,-E"
- shared_libraries_supported=true;;
alpha*-*-osf*)
case "$bytecc" in
*gcc*)
@@ -805,17 +796,14 @@ if test $with_sharedlibs = "yes"; then
bytecccompopts="$dl_defs $bytecccompopts"
dl_needs_underscore=false
shared_libraries_supported=true;;
- m88k-*-openbsd*)
- shared_libraries_supported=false;;
- vax-*-openbsd*)
- shared_libraries_supported=false;;
- *-*-openbsd*)
+ *-*-linux-gnu|*-*-linux|*-*-freebsd[3-9]*|*-*-freebsd[1-9][0-9]*\
+ |*-*-openbsd*|*-*-netbsd*|*-*-dragonfly*|*-*-gnu*|*-*-haiku*)
sharedcccompopts="-fPIC"
mksharedlib="$bytecc -shared"
bytecclinkopts="$bytecclinkopts -Wl,-E"
- natdynlinkopts="-Wl,-E"
byteccrpath="-Wl,-rpath,"
mksharedlibrpath="-Wl,-rpath,"
+ natdynlinkopts="-Wl,-E"
shared_libraries_supported=true;;
esac
fi