Skip to content

Commit

Permalink
Add missing tools and CMake config to imp-dev
Browse files Browse the repository at this point in the history
The CMake scripts and configuration previously were not
installed by any of the Debian packages; install them as
part of imp-dev.

Tools, build information and SWIG interface files which
were previously in the main imp package are now moved
to imp-dev, as they are only needed when building against
IMP. Closes #1025.
  • Loading branch information
benmwebb committed Nov 1, 2019
1 parent d7cb009 commit f7dbda3
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 1 deletion.
4 changes: 4 additions & 0 deletions tools/debian/imp-dev.install
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
usr/lib/*/libTAU.so
usr/lib/*/libimp*.so
usr/lib/*/cmake/
usr/include/*
usr/share/IMP/build_info
usr/share/IMP/swig
usr/share/IMP/tools
1 change: 0 additions & 1 deletion tools/debian/imp.install
Original file line number Diff line number Diff line change
Expand Up @@ -3,5 +3,4 @@ usr/lib/*/libimp*.so.*
usr/lib/*/libRMF*.so
usr/lib/python2*/dist-packages/*
usr/bin/*
usr/share/IMP/*
usr/share/doc/imp/*
2 changes: 2 additions & 0 deletions tools/debian/make-package.sh
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,8 @@ imp_dir_name=`basename ${TOP_DIR}`
cd ${TOP_DIR} || exit 1
rm -rf debian
cp -r tools/debian/ . || exit 1
# Add all module data directories to imp.install
(cd modules && for m in *; do if test -d $m/data; then echo usr/share/IMP/$m; fi; done) >> ${TOP_DIR}/debian/imp.install
rm debian/make-package.sh || exit 1
perl -pi -e "s/\@VERSION\@/$VERSION/; s/\@DATE\@/$DATE/; s/\@CODENAME\@/$CODENAME/;" debian/changelog || exit 1
if [ "${CODENAME}" = "precise" ]; then
Expand Down

0 comments on commit f7dbda3

Please sign in to comment.