[...] > I doubt that the Debian guys are willing to forget about headers. > > The longer I look at it, the more desperate the situation seems. The > new IEEE 1076-2008 license [1] allows distribution of unmodified > sources, but does not explicitly allow distribution in compiled form. > This may imply that the compiled library can not be part of a binary > GHDL distribution. > > I think the best solution is to split the package: > > 1) I will remove all library files except STD from the GHDL Debian > package. The package can go to Debian contrib. > > 2) I will create a separate package with the mentor, synopsys and > ieee2008 library sources. This package can go to Debian non-free. > During post-installation, this package will split the library sources > into separate versions for v87 and v93 and compile them with GHDL. > > It is a somewhat disappointing outcome. I had really hoped to > reinstate > a fully functional GHDL package in Debian main, but I don't see a > good > way to do that.
I agree with your 'best solution'. That's the safe way. I also think we should discuss with ieee. Tristan. _______________________________________________ Ghdl-discuss mailing list [email protected] https://mail.gna.org/listinfo/ghdl-discuss
