Closed SnarkBoojum closed 3 years ago
Here it is: no_rpath.txt
We have this line in the Flint and Arb configures. What is different here?
You mean like I reported here ?
All right, I'll just take it out here and we'll see if anything breaks.
Done in 4644e78eb598d0a186cb8914fc18df4d1522f05c.
When I leave the rpath settings in the configure script, the Debian checkers complain about the package, so I'm patching them out. I'll attach a patch.