gap-packages / io

GAP package IO to do input and output
https://gap-packages.github.io/io/
Other
14 stars 14 forks source link

Move pkgconfig.h.in from gen to src #116

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

The gen directory is for things that are created by make and it is deleted by make clean. But pkgconfig.h.in is not generated by make. So it does not belong into src but rather into gen.

Unfortunately GAP's BuildPackages.sh script runs make clean before make, which triggered this bug.