On 05/07/17 19:27, Makarius wrote:
On 05/07/17 18:57, Ron? Gon?alves wrote:
In Fedora 25 I am stuck with Poly/ML 5.6 as well as in Ubuntu 16.04. Fortunately, in Fedora 26, there will be Poly/ML 5.7
It is actually quite easy to compile Poly/ML from sources.
I do this routinely for anything that is sufficiently important for me and not one of the big standard packages that are used by millions of users and properly maintained.
You are in no way stuck with Poly/ML 5.6 on Fedora 25... To install your own version, you would remove the package:
dnf erase polyml
Then prevent the package from returning by adding 'polyml' to the line starting 'exclude=' in /etc/dnf/dnf.conf . For example, mine says:
exclude=polyml,mlton,ocaml
You could do the same for the package polyml-libs but I wouldn't on principle because another package could depend on that. Instead, I would install to a non-default location (e.g. /opt/polyml/polyml-5.7) to avoid clashing with the polyml-libs package as follows:
./configure --prefix=/opt/polyml/polyml-5.7 make su -c 'make install'
In ~/.bash_profile add the following line to make this version of Poly/ML available in your shell (after subsequent login):
PATH=$PATH:/opt/polyml/polyml-5.7/bin
Phil
P.S. If you are using the linker directly you may also want to add the following lines to ~/.bash_profile :
LD_LIBRARY_PATH=/opt/polyml/polyml-5.7/lib:$LD_LIBRARY_PATH PKG_CONFIG_PATH=/opt/polyml/polyml-5.7/lib/pkgconfig:$PKG_CONFIG_PATH
but you won't need those if you just use polyc to build executables.