summaryrefslogtreecommitdiff
path: root/debian
Commit message (Collapse)AuthorAge
* Don’t reference a nonexistent upstream LICENSE fileGravatar Benjamin Barenblat2015-02-05
| | | | Use the Debian copyright file instead.
* Add Vcs-Browser and Vcs-Git URLsGravatar Benjamin Barenblat2015-02-05
|
* Add man pageGravatar Benjamin Barenblat2015-02-05
|
* Install CompCert READMEGravatar Benjamin Barenblat2015-02-05
|
* debian/rules: Better documentationGravatar Benjamin Barenblat2015-02-05
|
* Install manuallyGravatar Benjamin Barenblat2015-02-05
| | | | | The CompCert installation target is fairly inflexible, and it’s inadequate for packaging. Install everything manually instead.
* Pass target to configureGravatar Benjamin Barenblat2015-02-05
| | | | | | | The CompCert configure script isn’t a standard configure script: It takes a positional argument specifying the architecture it should target. Override dh_auto_configure to do nothing, and pass the relevant arguments to configure in dh_auto_build.
* Fix minor error in Debian copyright fileGravatar Benjamin Barenblat2015-02-05
|
* Fake a Makefile.config so initial ‘make clean’ worksGravatar Benjamin Barenblat2015-02-05
| | | | | The Makefile requires a Makefile.config to run anything, so create an empty Makefile.config before starting to run make commands.
* Begin packaging CompCertGravatar Benjamin Barenblat2015-02-05