diff options
Diffstat (limited to 'lang/smlnj/files/do-patch-asdl_configure')
| -rw-r--r-- | lang/smlnj/files/do-patch-asdl_configure | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lang/smlnj/files/do-patch-asdl_configure b/lang/smlnj/files/do-patch-asdl_configure deleted file mode 100644 index 1a5553800c78..000000000000 --- a/lang/smlnj/files/do-patch-asdl_configure +++ /dev/null @@ -1,10 +0,0 @@ ---- asdl/configure.orig 2019-06-20 16:01:17 UTC -+++ asdl/configure -@@ -4893,6 +4893,7 @@ $as_echo "$SMLNJ_VERSION" >&6; } - sparc:solaris2*) SMLNJ_ARCH=sparc; SMLNJ_OPSYS=sunos;; - sparc:solaris3*) SMLNJ_ARCH=sparc; SMLNJ_OPSYS=solaris;; - x86_64:linux*) SMLNJ_ARCH=x86; SMLNJ_OPSYS=linux;; -+ x86_64:freebsd*) SMLNJ_ARCH=x86; SMLNJ_OPSYS=freebsd;; - x86_64:darwin*) SMLNJ_ARCH=x86; SMLNJ_OPSYS=darwin;; - *) - as_fn_error $? "unsupported configuration ${host_cpu}-${host_os}" "$LINENO" 5 ;; |