| #
89a1ef85 |
|
05-Mar-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Update INSTALL instructions to prefer Poly, even on Windows
Also replace `build -cleanAll` with `build cleanAll` as former no
longer works.
|
| #
33476867 |
|
14-Jan-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove docs saying --enable-shared must be used
|
| #
d0a11f5e |
|
30-Dec-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Adjust installation instructions a little.
From comments in github issue #324:
* tell users not to use the --with-portable option when building Poly/ML
* make it clear that the system installs "in place", and that once build
has done its thing, the system can't be moved.
Closes #324
|
| #
f1178637 |
|
01-Dec-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Update installation instructions to include need for --enable-shared
|
| #
78708c82 |
|
02-May-2013 |
Tjark Weber <tw333@cl.cam.ac.uk> |
Tuned.
|
| #
a9bde598 |
|
04-Oct-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Document requirement to have dynamic loading working for Poly/ML.
|
| #
00a9e19f |
|
24-Aug-2012 |
Tjark Weber <tw333@cl.cam.ac.uk> |
Fixed name of Poly/ML configuration override file.
|
| #
decc5987 |
|
24-Nov-2011 |
Michael Norrish <michael.norrish@nicta.com.au> |
Update INSTALL with link to github issues page (not S/F). Closes #46.
Thanks to Tjark for the bug report.
|
| #
2dffff42 |
|
17-Sep-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Tuned.
|
| #
6c2e6e81 |
|
16-Sep-2009 |
Tjark Weber <Tjark.Weber@cl.cam.ac.uk> |
Renamed install.txt to INSTALL for the sake of uniformity.
|