jmid / mutaml

An OCaml mutation tester
BSD 2-Clause "Simplified" License
65 stars 4 forks source link

Filter ld warnings causing CI errors on x86_32 #25

Closed jmid closed 1 year ago

jmid commented 1 year ago

The CI is failing on x86_32 due to an outstanding issue in the compiler: https://github.com/ocaml/ocaml/issues/12166 This results in the following warning being emitted from /usr/bin/ld which again causes CI to fail cram tests due to the diff:

/usr/bin/ld: /src/_build/install/default/lib/mutaml/mutaml_ppx.a(rS.o): warning: relocation in read-only section `.text'
/usr/bin/ld: warning: creating DT_TEXTREL in a PIE

The PR

With the PR we are therefore CI green on x86_32 :heavy_check_mark: :tada: