Patches to make Bochs 2.6.2 work with Pintos

[pintos-anon] / src / misc / bochs-2.6.2-xrandr-pkgconfig.patch

diff --git a/src/misc/bochs-2.6.2-xrandr-pkgconfig.patch b/src/misc/bochs-2.6.2-xrandr-pkgconfig.patch
new file mode 100644 (file)
index 0000000..b92f814
--- /dev/null
+++ b/src/misc/bochs-2.6.2-xrandr-pkgconfig.patch
@@ -0,0 +1,14 @@
+diff -Naur bochs-2.6.2.orig/configure bochs-2.6.2/configure
+--- bochs-2.6.2.orig/configure 2014-01-06 16:39:03.000000000 -0800
++++ bochs-2.6.2/configure      2014-01-06 16:39:23.000000000 -0800
+@@ -24202,8 +24202,8 @@
+   fi
+ 
+   if test "$PKGCONFIG" != not_found; then
+-    X_CFLAGS="`pkg-config --cflags x11`"
+-    X_LIBS="`pkg-config --libs x11` $XPM_LIB -lXrandr"
++    X_CFLAGS="`pkg-config --cflags x11 xrandr`"
++    X_LIBS="`pkg-config --libs x11 xrandr` $XPM_LIB"
+   else
+     X_LIBS="$X_LIBS -lX11 $XPM_LIB -lXrandr"
+   fi