diff --git a/debian/patches/deb_use_system_libraries b/debian/patches/deb_use_system_libraries new file mode 100644 index 0000000000000000000000000000000000000000..5820e1f77abfddae7faa7535c6012a09ac7cab20 --- /dev/null +++ b/debian/patches/deb_use_system_libraries @@ -0,0 +1,18 @@ +--- a/site.cfg ++++ b/site.cfg +@@ -1,8 +1,8 @@ + # uncomment this to compile libraries that depend on boost +-# [boost] +-# use_boost=True ++[boost] ++use_boost=True + +-# [libsvm] +-# libraries=svm +-# library_dirs=/usr/lib +-# include_dirs=/usr/include/libsvm-2.0/libsvm +\ No newline at end of file ++[libsvm] ++libraries=svm ++library_dirs=/usr/lib ++include_dirs=/usr/include/libsvm-2.0/libsvm diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000000000000000000000000000000000000..85c1c0e58fccd9976ece06c88c03860d5199450c --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +deb_use_system_libraries