FS#52040 - [lua] Headers misplaced: in /usr/include instead of /usr/include/lua5.3

Attached to Project: Arch Linux
Opened by Ilario Gelmetti (ilario) - Saturday, 03 December 2016, 21:33 GMT
Last edited by Doug Newgard (Scimmia) - Sunday, 04 December 2016, 22:41 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To No-one
Architecture All
Severity Medium
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
The headers (e.g. lua.h) for lua 5.3 included in package lua are placed in /usr/include/ instead of /usr/include/lua5.x/ as for lua51 and lua52 packages.

This happened to cause a false positive in a presence check for lua51 (during compilation of aur/ufoai-git 1:2.6.42188.8e2a1a5-1).
This task depends upon

Closed by  Doug Newgard (Scimmia)
Sunday, 04 December 2016, 22:41 GMT
Reason for closing:  Not a bug
Additional comments about closing:  Programs should not make dumb assumptions
Comment by Doug Newgard (Scimmia) - Saturday, 03 December 2016, 23:27 GMT
Sounds like a bad check rather than a packaging issue.
Comment by Ilario Gelmetti (ilario) - Sunday, 04 December 2016, 21:48 GMT
I don't know where is the proper location for lua headers, I just noticed that for lua51 and lua52 are placed in a subdirectory (via a variable in their PKGBUILD which is not present in lua (5.3) PKGBUILD, e.g. INSTALL_INC="$pkgdir"/usr/include/lua5.1) and that in Debian also lua53 is placed in a subdirectory.
Comment by Doug Newgard (Scimmia) - Sunday, 04 December 2016, 22:35 GMT
They're put in a separate directory so they don't conflict with the current version; don't really care what Debian does, either.

Loading...