Create debian package #294
Labels
documentation
Involves touching documentation
make
Involves touching GNU Makefiles
tests
Involves touching tests
Feature Request
Describe the new feature:
It would be good to provide a native debian package of FLiT (as well as for other distributions). Even if we don't succeed in getting it in the official debian or ubuntu repositories, we can supply a PPA that people can use. It may help with the adoption of FLiT.
Suggested change:
Add the necessary framework for generating debian packages. This would involve creating a
debian
directory with files used bydebhelper
.Alternative approaches:
Use a package generation system that can make packages for many distributions from one set of specifications. This approach has the advantages of
Unfortunately, there are many such packaging tools out there and it is not clear how well each work. It would perhaps be a mammoth effort to get one working to our satisfaction.
We could just get debian working by using the debian tools and then investigate how to turn that specification into a more cross-distribution solution.
The text was updated successfully, but these errors were encountered: