c8aa5562e5
Follow GNU guidelines regarding GPLv3
...
- Rename LICENSE to COPYING
- Add recommended header in each file
2019-03-18 11:10:18 +01:00
8a683f1135
A better way to configure the target installation
...
This addresses two issues:
- There was a mixup between the installed config.system-setup.mk
and the one being used for installation, which could lead to
build fragility / difficulty to reproduce.
- Making `make install` and `rpmbuild` consistent in what is
being installed and produced.
2019-03-18 11:10:18 +01:00
06093ff0b5
Show the comment from 'configure' as a comment
...
This way, the output of configure can be used for example as
a shell script or makefile include
2019-03-09 13:48:45 +01:00
8c48c933bf
Add DESTDIR for generated config.local-setup.mk
...
This is necessary for the variables to have the correct values
when building in a DESTDIR after running configure
2019-03-09 13:48:45 +01:00
34a8de9b1c
Fix the handling of dependency tracking in configure script.
2019-03-05 18:35:03 +01:00
e2df1851de
Add missing trailing / to what is generated by configure script
2018-09-20 17:29:56 +02:00
1684f58f92
Add basic 'configure' script to work with rpmbuild
2018-09-20 17:05:45 +02:00
Christophe de Dinechin