Community Packages

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#72604 - [mlton] include both pie and pic files

Attached to Project: Community Packages
Opened by Oliver Bandel (oriba) - Monday, 01 November 2021, 19:26 GMT
Last edited by Alexander F. Rødseth (xyproto) - Wednesday, 03 November 2021, 20:20 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Alexander F. Rødseth (xyproto)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:
mlton package does not create *.pic files.
Only the *.pie will be created, so the *.pic files are missing.


Additional info:
* package version: 20210117-1

For a Discussion of the problem, please see here:
https://github.com/MLton/mlton/discussions/456
This task depends upon

Closed by  Alexander F. Rødseth (xyproto)
Wednesday, 03 November 2021, 20:20 GMT
Reason for closing:  Fixed
Comment by Alexander F. Rødseth (xyproto) - Monday, 01 November 2021, 22:21 GMT
Thanks for reporting.

From what I gather, I don't think there are literally *.pic or *.pie files involved, but apparently the package should be compiled without explicitly giving -fPIC as a compilation flag. I'll try that, like upstream recommended.
Comment by Oliver Bandel (oriba) - Monday, 01 November 2021, 22:33 GMT
OK, I mixed up the names.

Currently I get this here:

~/foo$ pacman -Ql mlton | grep -e gdtoa -e libml
mlton /usr/lib/mlton/targets/self/libgdtoa-dbg-pie.a
mlton /usr/lib/mlton/targets/self/libgdtoa-dbg.a
mlton /usr/lib/mlton/targets/self/libgdtoa-pie.a
mlton /usr/lib/mlton/targets/self/libgdtoa.a
mlton /usr/lib/mlton/targets/self/libmlton-dbg-pie.a
mlton /usr/lib/mlton/targets/self/libmlton-dbg.a
mlton /usr/lib/mlton/targets/self/libmlton-pie.a
mlton /usr/lib/mlton/targets/self/libmlton.a
mlton /usr/share/licenses/mlton/mlton/doc/license/gdtoa-LICENSE
~/foo$

There also must be "*-pic.a" files for each "*-pie.a" file.

Matthe Fluet wrote on GitHub: "Both libmlton-pic.a and libgdtoa-pic.a should be part of the binary release of MLton."
Comment by Alexander F. Rødseth (xyproto) - Monday, 01 November 2021, 22:45 GMT
I see. I asked upstream for input on this on GitHub, I'm awaiting their answer.

Loading...