| Commit message (Collapse) | Author | Age |
|
|
|
|
| |
The CompCert installation target is fairly inflexible, and it’s
inadequate for packaging. Install everything manually instead.
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
The Makefile requires a Makefile.config to run anything, so create an
empty Makefile.config before starting to run make commands.
|
|
|