|
Line
Link Here
|
| 0 |
-- a/ocaml-4.02.3/configure |
0 |
++ b/ocaml-4.02.3/configure |
|
Lines 688-694
Link Here
|
| 688 |
mksharedlib="$flexlink" |
688 |
mksharedlib="$flexlink" |
| 689 |
mkmaindll="$flexlink -maindll" |
689 |
mkmaindll="$flexlink -maindll" |
| 690 |
shared_libraries_supported=true;; |
690 |
shared_libraries_supported=true;; |
| 691 |
*-*-linux-gnu|*-*-linux|*-*-freebsd[3-9]*|*-*-freebsd[1-9][0-9]*|*-*-openbsd*|*-*-netbsd*|*-*-gnu*|*-*-haiku*) |
691 |
*-*-linux*|*-*-freebsd[3-9]*|*-*-freebsd[1-9][0-9]*|*-*-openbsd*|*-*-netbsd*|*-*-gnu*|*-*-haiku*) |
| 692 |
sharedcccompopts="-fPIC" |
692 |
sharedcccompopts="-fPIC" |
| 693 |
mksharedlib="$bytecc -shared" |
693 |
mksharedlib="$bytecc -shared" |
| 694 |
bytecclinkopts="$bytecclinkopts -Wl,-E" |
694 |
bytecclinkopts="$bytecclinkopts -Wl,-E" |
