← Back to branch summary

~ubuntu-branches/ubuntu/utopic/minisat2/utopic-proposed

« back to all changes in this revision

Viewing changes to debian/install

  • Committer: Bazaar Package Importer
  • Author(s): Michael Tautschnig
  • Date: 2011-06-13 15:13:41 UTC
  • Revision ID: james.westby@ubuntu.com-20110613151341-ekhj82ccn7ysfm8y
Tags: 1:2.2.1-2
* Include headers from simp/ directory in package
* Bumped standards version to 3.9.2 (no changes)

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/install
1
1
minisat/core/*.h usr/include/minisat/core/
2
2
minisat/mtl/*.h usr/include/minisat/mtl/
3
3
minisat/utils/*.h usr/include/minisat/utils/
 
4
minisat/simp/*.h usr/include/minisat/simp/
4
5
build/release/lib/libminisat.a usr/lib/
5
6
build/dynamic/lib/libminisat.so* usr/lib/
6
7
build/dynamic/bin/minisat usr/bin/