diff options
author | olgeni <olgeni@FreeBSD.org> | 2014-08-29 13:44:02 +0800 |
---|---|---|
committer | olgeni <olgeni@FreeBSD.org> | 2014-08-29 13:44:02 +0800 |
commit | 45232967646af8520e1574b8d1ae66736abc4593 (patch) | |
tree | e66b32bc4fead31ec09fdac2bae9b297371f19ff /lang | |
parent | ffc35738513309a3c396b872e6eadce32e7cfa10 (diff) | |
download | freebsd-ports-gnome-45232967646af8520e1574b8d1ae66736abc4593.tar.gz freebsd-ports-gnome-45232967646af8520e1574b8d1ae66736abc4593.tar.zst freebsd-ports-gnome-45232967646af8520e1574b8d1ae66736abc4593.zip |
Do not forcibly disable SMP in erlc.
SMP used to crash some builds a long time ago, but now it seems safe.
Diffstat (limited to 'lang')
-rw-r--r-- | lang/erlang-runtime15/Makefile | 2 | ||||
-rw-r--r-- | lang/erlang-runtime15/files/patch-erts_etc_common_erlc.c | 13 | ||||
-rw-r--r-- | lang/erlang-runtime16/Makefile | 1 | ||||
-rw-r--r-- | lang/erlang-runtime16/files/patch-erts_etc_common_erlc.c | 13 | ||||
-rw-r--r-- | lang/erlang-runtime17/Makefile | 1 | ||||
-rw-r--r-- | lang/erlang-runtime17/files/patch-erts_etc_common_erlc.c | 13 | ||||
-rw-r--r-- | lang/erlang/Makefile | 1 | ||||
-rw-r--r-- | lang/erlang/files/patch-erts_etc_common_erlc.c | 13 |
8 files changed, 4 insertions, 53 deletions
diff --git a/lang/erlang-runtime15/Makefile b/lang/erlang-runtime15/Makefile index 41e010b0b330..0eaca3570a2f 100644 --- a/lang/erlang-runtime15/Makefile +++ b/lang/erlang-runtime15/Makefile @@ -3,7 +3,7 @@ PORTNAME= erlang PORTVERSION= 15.b.03.1 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= lang parallel java MASTER_SITES= http://www.erlang.org/download/:erlangorg \ http://erlang.stacken.kth.se/download/:erlangorg \ diff --git a/lang/erlang-runtime15/files/patch-erts_etc_common_erlc.c b/lang/erlang-runtime15/files/patch-erts_etc_common_erlc.c deleted file mode 100644 index ae65f91225ca..000000000000 --- a/lang/erlang-runtime15/files/patch-erts_etc_common_erlc.c +++ /dev/null @@ -1,13 +0,0 @@ - -$FreeBSD$ - ---- erts/etc/common/erlc.c.orig -+++ erts/etc/common/erlc.c -@@ -186,6 +186,7 @@ - */ - - PUSH("-noinput"); -+ PUSH2("-smp", "disable"); - PUSH2("-mode", "minimal"); - PUSH2("-boot", "start_clean"); - PUSH3("-s", "erl_compile", "compile_cmdline"); diff --git a/lang/erlang-runtime16/Makefile b/lang/erlang-runtime16/Makefile index 513e5046c242..67052ec6be05 100644 --- a/lang/erlang-runtime16/Makefile +++ b/lang/erlang-runtime16/Makefile @@ -3,6 +3,7 @@ PORTNAME= erlang PORTVERSION= 16.b.03.1 +PORTREVISION= 1 CATEGORIES= lang parallel java MASTER_SITES= http://www.erlang.org/download/:erlangorg \ http://erlang.stacken.kth.se/download/:erlangorg \ diff --git a/lang/erlang-runtime16/files/patch-erts_etc_common_erlc.c b/lang/erlang-runtime16/files/patch-erts_etc_common_erlc.c deleted file mode 100644 index ae65f91225ca..000000000000 --- a/lang/erlang-runtime16/files/patch-erts_etc_common_erlc.c +++ /dev/null @@ -1,13 +0,0 @@ - -$FreeBSD$ - ---- erts/etc/common/erlc.c.orig -+++ erts/etc/common/erlc.c -@@ -186,6 +186,7 @@ - */ - - PUSH("-noinput"); -+ PUSH2("-smp", "disable"); - PUSH2("-mode", "minimal"); - PUSH2("-boot", "start_clean"); - PUSH3("-s", "erl_compile", "compile_cmdline"); diff --git a/lang/erlang-runtime17/Makefile b/lang/erlang-runtime17/Makefile index 5c30712d0f25..eda7fbaa7de8 100644 --- a/lang/erlang-runtime17/Makefile +++ b/lang/erlang-runtime17/Makefile @@ -3,6 +3,7 @@ PORTNAME= erlang PORTVERSION= 17.1 +PORTREVISION= 1 CATEGORIES= lang parallel java MASTER_SITES= http://www.erlang.org/download/:erlangorg \ http://erlang.stacken.kth.se/download/:erlangorg \ diff --git a/lang/erlang-runtime17/files/patch-erts_etc_common_erlc.c b/lang/erlang-runtime17/files/patch-erts_etc_common_erlc.c deleted file mode 100644 index ae65f91225ca..000000000000 --- a/lang/erlang-runtime17/files/patch-erts_etc_common_erlc.c +++ /dev/null @@ -1,13 +0,0 @@ - -$FreeBSD$ - ---- erts/etc/common/erlc.c.orig -+++ erts/etc/common/erlc.c -@@ -186,6 +186,7 @@ - */ - - PUSH("-noinput"); -+ PUSH2("-smp", "disable"); - PUSH2("-mode", "minimal"); - PUSH2("-boot", "start_clean"); - PUSH3("-s", "erl_compile", "compile_cmdline"); diff --git a/lang/erlang/Makefile b/lang/erlang/Makefile index 2cd1d816d5f3..9e4f79c1a027 100644 --- a/lang/erlang/Makefile +++ b/lang/erlang/Makefile @@ -3,6 +3,7 @@ PORTNAME= erlang PORTVERSION= 17.1 +PORTREVISION= 1 PORTEPOCH= 3 CATEGORIES= lang parallel java MASTER_SITES= http://www.erlang.org/download/:erlangorg \ diff --git a/lang/erlang/files/patch-erts_etc_common_erlc.c b/lang/erlang/files/patch-erts_etc_common_erlc.c deleted file mode 100644 index ae65f91225ca..000000000000 --- a/lang/erlang/files/patch-erts_etc_common_erlc.c +++ /dev/null @@ -1,13 +0,0 @@ - -$FreeBSD$ - ---- erts/etc/common/erlc.c.orig -+++ erts/etc/common/erlc.c -@@ -186,6 +186,7 @@ - */ - - PUSH("-noinput"); -+ PUSH2("-smp", "disable"); - PUSH2("-mode", "minimal"); - PUSH2("-boot", "start_clean"); - PUSH3("-s", "erl_compile", "compile_cmdline"); |