diff options
| -rw-r--r-- | debian/patches/debian/0003-mips32-libatomic.patch | 14 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/debian/0003-mips32-libatomic.patch b/debian/patches/debian/0003-mips32-libatomic.patch new file mode 100644 index 0000000..c476ab0 --- /dev/null +++ b/debian/patches/debian/0003-mips32-libatomic.patch @@ -0,0 +1,14 @@ +Author: Daniel Baumann <daniel.baumann@progress-linux.org> +Description: Linking with libatomic on mips32. + +diff -Naurp ck.orig/configure ck/configure +--- ck.orig/configure ++++ ck/configure +@@ -509,6 +509,7 @@ case $PLATFORM in + MM="${MM:-"CK_MD_RMO"}" + PLATFORM=mips32 + ENVIRONMENT=32 ++ LDFLAGS="$LDFLAGS -Wl,--as-needed -latomic" + ;; + arm|armv6|armv6l|armv7|armv7l) + case "$PLATFORM" in diff --git a/debian/patches/series b/debian/patches/series index e1dc10d..a3dbab4 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1,3 @@ debian/0001-cc-builtins.patch debian/0002-disable-sse.patch +debian/0003-mips32-libatomic.patch |