f128098de8
In addition to the update, I'm removing the shared libs. The term "shared" is misleading here, gambit will continue generating dynamically linked binaries by default and the only static libraries linked will be its own libraries. Nothing uses the non-versioned gambit shared libraries in the ports tree. OK jasper@.
57 lines
2.2 KiB
Plaintext
57 lines
2.2 KiB
Plaintext
$OpenBSD: patch-configure,v 1.5 2016/01/27 18:47:02 juanfra Exp $
|
|
|
|
- https://github.com/feeley/gambit/pull/163
|
|
- https://github.com/feeley/gambit/issues/124
|
|
|
|
--- configure.orig Sat Jan 16 00:50:43 2016
|
|
+++ configure Fri Jan 22 22:22:18 2016
|
|
@@ -8559,7 +8559,7 @@ done
|
|
|
|
|
|
case "$target_os" in
|
|
- OpenBSD*)
|
|
+ openbsd*)
|
|
# OpenBSD/mips64(el) does have get_fpc_csr(), but lacks union fpc_csr.
|
|
;;
|
|
*)
|
|
@@ -13619,32 +13619,32 @@ if test "$datadir" = "\${datarootdir}"; then
|
|
datadir="\${prefix}/share"
|
|
fi
|
|
|
|
-GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR=\"\\\"`echo \"$prefix\" | sed -e \"s|/|$PATH_SEP|g\"`\\\"\""
|
|
+GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR=\"\\\"$prefix\\\"\""
|
|
|
|
if test "$ENABLE_SYMLINKS" != yes; then
|
|
|
|
if test "$bindir" != "\${prefix}/bin"; then
|
|
- GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_BIN=\"\\\"`echo \"$bindir\" | sed -e \"s|/|$PATH_SEP|g\"`\\\"\""
|
|
+ GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_BIN=\"\\\"$bindir\\\"\""
|
|
fi
|
|
|
|
if test "$includedir" != "\${prefix}/include"; then
|
|
- GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_INCLUDE=\"\\\"`echo \"$includedir\" | sed -e \"s|/|$PATH_SEP|g\"`\\\"\""
|
|
+ GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_INCLUDE=\"\\\"$includedir\\\"\""
|
|
fi
|
|
|
|
if test "$libdir" != "\${prefix}/lib"; then
|
|
- GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_LIB=\"\\\"`echo \"$libdir\" | sed -e \"s|/|$PATH_SEP|g\"`\\\"\""
|
|
+ GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_LIB=\"\\\"$libdir\\\"\""
|
|
fi
|
|
|
|
if test "$docdir" != "\${prefix}/doc"; then
|
|
- GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_DOC=\"\\\"`echo \"$docdir\" | sed -e \"s|/|$PATH_SEP|g\"`\\\"\""
|
|
+ GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_DOC=\"\\\"$docdir\\\"\""
|
|
fi
|
|
|
|
if test "$infodir" != "\${prefix}/info"; then
|
|
- GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_INFO=\"\\\"`echo \"$infodir\" | sed -e \"s|/|$PATH_SEP|g\"`\\\"\""
|
|
+ GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_INFO=\"\\\"$infodir\\\"\""
|
|
fi
|
|
|
|
if test "$datadir" != "\${prefix}/share"; then
|
|
- GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_SHARE=\"\\\"`echo \"$datadir\" | sed -e \"s|/|$PATH_SEP|g\"`\\\"\""
|
|
+ GAMBITLIB_DEFS="$GAMBITLIB_DEFS -D___GAMBITDIR_SHARE=\"\\\"$datadir\\\"\""
|
|
fi
|
|
|
|
fi
|