debian: libmrpt-dev should depends on libeigen3-dev

jolting · May 12, 2013 · 7776314 · 7776314
1 parent 0491832
commit 7776314
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packaging/debian/control b/packaging/debian/control
@@ -301,6 +301,7 @@ Package: libmrpt-dev
 Section: libdevel
 Architecture: any
 Depends: ${shlibs:Depends}, ${misc:Depends},
+		 libeigen3-dev,
          libmrpt-base1.0 (= ${binary:Version}),
          libmrpt-detectors1.0 (= ${binary:Version}),
          libmrpt-gui1.0 (= ${binary:Version}),