search

PRUNERS / FLiT

A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
Other
36 stars 6 forks source link

Create debian package #294

Open mikebentley15 opened 4 years ago

mikebentley15 commented 4 years ago

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 by debhelper.

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

  1. not needing to be an expert in each distribution
  2. specify dependencies and package details once to be used by many
  3. any changes are handled by this packaging software

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.

mikebentley15 commented 4 years ago

I think we would also want to create documentation about how to generate a deb file from the debian directory and a desired flit tag.