lp:debian/eprover
- Get this branch:
- bzr branch lp:debian/eprover
Branch information
- Owner:
- Ubuntu branches
- Status:
- Development
Recent revisions
- 2. By Petr Pudlak <email address hidden>
-
* Initial Debian release.
Closes: #516545
* Created man pages using help2man.
* Adjusted the Makefiles to
- install into $(DESTDIR) directory;
- to handle dependencies between source files in a more transparent and
efficient way - instead of generating Makefile.dependencies by the build
scripts, let 'make' generate .d file for each .c file as needed;
- not to modify source files in place - instead of modifying Makefile.vars,
put configuration into a new file Makefile.cfg;
- not to build development tools - the build scripts modify them in place
and they are not needed anyway for the package.
* Added 'test' target to Makefile to test that eprover binary was sucessfully
compiled and works on a sample problem.
* Added 'html' target to DOC/Makefile that builds HTML documentation using
tex4ht.
* Adjusted for the DebianScience GIT repository.
* Refined dependencies in debian/control, checked with pbuilder.
* Update 'clear' target in DOC/Makefile to clean some files left after
tex4ht.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)