diff options
| author | arved <arved@FreeBSD.org> | 2004-02-02 20:02:04 +0800 |
|---|---|---|
| committer | arved <arved@FreeBSD.org> | 2004-02-02 20:02:04 +0800 |
| commit | b46b6d42f2ab06cec949921376fc4b99df2c6630 (patch) | |
| tree | 5381d5f69e8c9e324d0f1679a5632cfc1f816127 /lang | |
| parent | f5dec7278896c166e105708052b521c683cf2063 (diff) | |
| download | freebsd-ports-gnome-b46b6d42f2ab06cec949921376fc4b99df2c6630.tar.gz freebsd-ports-gnome-b46b6d42f2ab06cec949921376fc4b99df2c6630.tar.zst freebsd-ports-gnome-b46b6d42f2ab06cec949921376fc4b99df2c6630.zip | |
Fix build on AMD64
Submitted by: stephane via maintainer
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/ocaml/files/patch-configure | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/lang/ocaml/files/patch-configure b/lang/ocaml/files/patch-configure index 8c1859c9a004..f73cf62cff77 100644 --- a/lang/ocaml/files/patch-configure +++ b/lang/ocaml/files/patch-configure @@ -1,6 +1,14 @@ --- configure.orig Thu Sep 25 10:17:13 2003 -+++ configure Thu Dec 11 13:39:49 2003 -@@ -1097,116 +1097,14 @@ ++++ configure Mon Feb 2 12:54:26 2004 +@@ -559,6 +559,7 @@ + powerpc-*-darwin*) arch=power; model=ppc; system=rhapsody;; + arm*-*-linux*) arch=arm; system=linux;; + ia64-*-linux*) arch=ia64; system=linux;; ++ amd64-*-freebsd*) arch=amd64; system=freebsd;; + x86_64-*-linux*) arch=amd64; system=linux;; + esac + +@@ -1097,116 +1098,14 @@ x11_include="not found" x11_link="not found" |