lp:ubuntu/lucid/eprover

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

3. By Andrea Gasparini on 2009-05-27

debian/rules: fix FTBFS in all archs except i386. (LP: #381092)
changed "build:" target as it makes build documentation for all archs.

2. By Petr Pudlak <email address hidden> on 2009-03-03

* 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.

1. By Petr Pudlak <email address hidden> on 2009-03-03

Import upstream version 1.0.004