changeset 371:b62eafa38603

dev/gcc: disable libgomp, use lib/openmp instead
author David Demelier <markand@malikania.fr>
date Sun, 31 Mar 2019 14:40:02 +0200
parents 619e7d852f60
children e045703b90cd
files dev/gcc/gcc.sh
diffstat 1 files changed, 6 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/dev/gcc/gcc.sh	Sun Mar 31 09:46:14 2019 +0200
+++ b/dev/gcc/gcc.sh	Sun Mar 31 14:40:02 2019 +0200
@@ -49,8 +49,8 @@
 	pushd $PKGNAME-$PKGVERSION
 
 	# on vanilla we use /lib rather than /lib64.
-	sed -i '/m64=/s/lib64/lib/' gcc/config/i386/t-linux64
-	sed -i 's/lib64/lib/' gcc/config/i386/linux64.h
+	sed -i -e '/m64=/s/lib64/lib/' gcc/config/i386/t-linux64
+	sed -i -e 's/lib64/lib/' gcc/config/i386/linux64.h
 
 	mkdir build && pushd build
 	CC="$CC" \
@@ -76,10 +76,11 @@
 		--disable-multilib \
 		--disable-bootstrap \
 		--disable-libsanitizer \
-		--with-pkgversion="vanilla 0.1" \
+		--disable-libgomp \
+		--disable-libstdcxx \
+		--with-pkgversion="Vanilla 0.1" \
 		--disable-static \
-		${with_nls}
-
+		$with_nls
 	make
 	make install DESTDIR=$DESTDIR
 	popd