« back to all changes in this revision
Viewing changes to debian/changelog
- Committer: Bazaar Package Importer
- Date: 2010-02-27 09:05:52 UTC
- Revision ID: james.westby@ubuntu.com-20100227090552-pa4gq6ynaa38uwyx
[ Iain Lane ]
* debian/control: Fix short descriptions (too long, one said "profiling"
instead of "documentation")
* debian/rules, debian/control: No need to use upstream's buildsys. This only
builds Everything.agda which is already included in the distribution
anyway. Also trim GHC and filepath from build-deps as these aren't needed
now. This bypassing is required because upstream's buildsys invokes
runhaskell, which isn't available everywhere. (Closes: #569262)
* debian/rules: Disable upstream tests for the same reason as above. We
typecheck the same file, README.agda, to generate the documentation
anyway so this has no negative effect.
* debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
timeouts on some slow architectures.
* debian/control: Fix short descriptions (too long, one said "profiling"
instead of "documentation")
* debian/rules, debian/control: No need to use upstream's buildsys. This only
builds Everything.agda which is already included in the distribution
anyway. Also trim GHC and filepath from build-deps as these aren't needed
now. This bypassing is required because upstream's buildsys invokes
runhaskell, which isn't available everywhere. (Closes: #569262)
* debian/rules: Disable upstream tests for the same reason as above. We
typecheck the same file, README.agda, to generate the documentation
anyway so this has no negative effect.
* debian/rules, debian/watcher.sh: Add a ticker to the build to avoid
timeouts on some slow architectures.
- files added:
- debian/watcher.sh
- files modified:
- debian/changelog
added
removed
debian/changelog
