From 960bf4f1e75b0cb7d7ee034b262b10a06b1ebf18 Mon Sep 17 00:00:00 2001 From: Joachim Reichel Date: Sun, 1 Jul 2007 21:23:32 +0000 Subject: [PATCH] add missing file --- .../debian/patches/boost-library-name.dpatch | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 Maintenance/deb/sid/debian/patches/boost-library-name.dpatch diff --git a/Maintenance/deb/sid/debian/patches/boost-library-name.dpatch b/Maintenance/deb/sid/debian/patches/boost-library-name.dpatch new file mode 100755 index 00000000000..b4ff731a8ff --- /dev/null +++ b/Maintenance/deb/sid/debian/patches/boost-library-name.dpatch @@ -0,0 +1,19 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## boost-library-name.dpatch by Joachim Reichel +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: No description. + +@DPATCH@ +diff -urNad cgal~/config/support/S06a-BOOST_PROGRAM_OPTIONS cgal/config/support/S06a-BOOST_PROGRAM_OPTIONS +--- cgal~/config/support/S06a-BOOST_PROGRAM_OPTIONS 2007-05-07 21:01:45.000000000 +0200 ++++ cgal/config/support/S06a-BOOST_PROGRAM_OPTIONS 2007-05-18 19:19:34.000000000 +0200 +@@ -4,7 +4,7 @@ + PROVIDES = BOOST_PROGRAM_OPTIONS + CXXFLAGS = + LDFLAGS = +-LIBS = boost_program_options ++LIBS = boost_program_options-mt + REQUIRES = BOOST + INCOMPATIBLE = DOLLAR_WINDOWS_COMPILER + STDINCLDIRS = /usr/include/\*