| Mon, 12 Feb 2018 14:13:54 +0100 |
Lars Hupel |
corrected some URLs
|
changeset |
files
|
| Mon, 12 Feb 2018 13:27:30 +0100 |
wenzelm |
permissive Doc.dirs: some entries may be absent due to distribution bootstrap, e.g. $JEDIT_HOME/dist/doc;
|
changeset |
files
|
| Sun, 11 Feb 2018 22:26:58 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Sun, 11 Feb 2018 15:13:40 +0100 |
wenzelm |
updated polyml component -- omitting bad polyml-5.7.1-3;
|
changeset |
files
|
| Sun, 11 Feb 2018 18:09:17 +0100 |
Lars Hupel |
use preferred resolver according to DOI Handbook ยง3.8
|
changeset |
files
|
| Sun, 11 Feb 2018 15:03:25 +0100 |
wenzelm |
no --enable-shared for x86_64-darwin: does not work on some test machine;
|
changeset |
files
|
| Sun, 11 Feb 2018 14:21:16 +0100 |
wenzelm |
proper target directory;
|
changeset |
files
|
| Sun, 11 Feb 2018 13:50:28 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 11 Feb 2018 13:45:51 +0100 |
wenzelm |
more robust options;
|
changeset |
files
|
| Sun, 11 Feb 2018 13:24:38 +0100 |
wenzelm |
back to --disable-shared on windows to avoid odd core-dump of polyimport;
|
changeset |
files
|
| Sun, 11 Feb 2018 13:13:03 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 11 Feb 2018 13:07:59 +0100 |
wenzelm |
back to --disable-shared on x86-darwin to avoid odd core-dump of polyimport;
|
changeset |
files
|
| Sun, 11 Feb 2018 12:51:23 +0100 |
wenzelm |
clarified command-line defaults;
|
changeset |
files
|
| Sun, 11 Feb 2018 12:40:05 +0100 |
wenzelm |
enforce shared libpoly on all platforms, with File.copy before File.move;
|
changeset |
files
|