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.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
