--- a/Admin/components/components.sha1 Sun Oct 22 13:57:25 2017 +0200
+++ b/Admin/components/components.sha1 Sun Oct 22 14:36:21 2017 +0200
@@ -156,6 +156,7 @@
5fbcab1da2b5eb97f24da2590ece189d55b3a105 polyml-5.7.tar.gz
853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e polyml-test-7a7b742897e9.tar.gz
c629cd499a724bbe37b962f727e4ff340c50299d polyml-test-8529546198aa.tar.gz
+2b7c02b67feb2f44dda6938a7244f4257e7c580c polyml-test-905dae2ebfda.tar.gz
b4ceeaac47f3baae41c2491a8368b03217946166 polyml-test-e7a662f8f9c4.tar.gz
53123dc011b2d4b4e8fe307f3c9fa355718ad01a postgresql-42.1.1.tar.gz
3a5d31377ec07a5069957f5477a4848cfc89a594 postgresql-42.1.4.tar.gz
--- a/Admin/polyml/settings Sun Oct 22 13:57:25 2017 +0200
+++ b/Admin/polyml/settings Sun Oct 22 14:36:21 2017 +0200
@@ -48,15 +48,19 @@
case "$ML_PLATFORM" in
x86_64-windows)
+ POLYML_EXE="$ML_HOME/poly.exe"
ML_OPTIONS="-H 1000 --codepage utf8"
;;
x86-windows)
+ POLYML_EXE="$ML_HOME/poly.exe"
ML_OPTIONS="-H 500 --codepage utf8"
;;
x86_64-*)
+ POLYML_EXE="$ML_HOME/poly"
ML_OPTIONS="-H 1000"
;;
*)
+ POLYML_EXE="$ML_HOME/poly"
ML_OPTIONS="-H 500"
;;
esac