diff --git a/PolyML.rc b/PolyML.rc index 5695e6bcf..ac201baaa 100644 --- a/PolyML.rc +++ b/PolyML.rc @@ -82,7 +82,7 @@ STYLE DS_SETFONT | DS_MODALFRAME | WS_POPUP | WS_CAPTION | WS_SYSMENU FONT 8, "MS Sans Serif", 0, 0, 0x0 BEGIN DEFPUSHBUTTON "OK",IDOK,7,92,50,14 - LTEXT "Poly/ML v 5.7 Copyright David C.J. Matthews, Cambridge University Technical Services and contributors 2000-17.\n\nThis is free software and released under the GNU Lesser General Public License.",IDC_STATIC,24,30,167,47 + LTEXT "Poly/ML v 5.7.1 Copyright David C.J. Matthews, Cambridge University Technical Services and contributors 2000-17.\n\nThis is free software and released under the GNU Lesser General Public License.",IDC_STATIC,24,30,167,47 ICON IDI_ICON,IDC_STATIC,7,7,20,20 END @@ -122,8 +122,8 @@ IDI_ICON ICON "poly.ico" // VS_VERSION_INFO VERSIONINFO - FILEVERSION 5,7,0,0 - PRODUCTVERSION 5,7,0,0 + FILEVERSION 5,7,1,0 + PRODUCTVERSION 5,7,1,0 FILEFLAGSMASK 0x3fL #ifdef _DEBUG FILEFLAGS 0x1L @@ -139,13 +139,13 @@ BEGIN BLOCK "080904b0" BEGIN VALUE "CompanyName", " " - VALUE "FileDescription", "PolyML v5.7" - VALUE "FileVersion", "5.7.0.0" + VALUE "FileDescription", "PolyML v5.7.1" + VALUE "FileVersion", "5.7.1.0" VALUE "InternalName", "PolyML" VALUE "LegalCopyright", "Copyright © David Matthews, CUTS and contributors 2000-2017" VALUE "OriginalFilename", "PolyML.exe" VALUE "ProductName", "PolyML" - VALUE "ProductVersion", "5.7.0.0" + VALUE "ProductVersion", "5.7.1.0" END END BLOCK "VarFileInfo" diff --git a/configure.ac b/configure.ac index b7f6a4d62..bad9d2411 100644 --- a/configure.ac +++ b/configure.ac @@ -1,7 +1,7 @@ # -*- Autoconf -*- # Process this file with autoconf to produce a configure script. -AC_INIT([Poly/ML],[5.7],[polyml AT polyml DOT org],[polyml]) +AC_INIT([Poly/ML],[5.7.1],[polyml AT polyml DOT org],[polyml]) AM_INIT_AUTOMAKE AC_PREREQ(2.65) # libtoolize recommends this line. diff --git a/libpolyml/Makefile.am b/libpolyml/Makefile.am index 4b83c98b6..a897761d3 100644 --- a/libpolyml/Makefile.am +++ b/libpolyml/Makefile.am @@ -8,7 +8,7 @@ AM_ASFLAGS = $(OSFLAG) AM_CCASFLAGS = $(OSFLAG) lib_LTLIBRARIES = libpolyml.la -libpolyml_la_LDFLAGS = -version-info 8:0:0 +libpolyml_la_LDFLAGS = -version-info 9:0:0 if INTERNAL_LIBFFI libpolyml_la_LIBADD = ../libffi/libffi_convenience.la diff --git a/libpolyml/poly_specific.cpp b/libpolyml/poly_specific.cpp index 1d22420c2..1cb9e4b40 100644 --- a/libpolyml/poly_specific.cpp +++ b/libpolyml/poly_specific.cpp @@ -71,7 +71,7 @@ extern "C" { #define SAVE(x) taskData->saveVec.push(x) static const char *poly_runtime_system_copyright = -"Copyright (c) 2002-17 David C.J. Matthews, CUTS and contributors."; + "Copyright (c) 2002-17 David C.J. Matthews, CUTS and contributors."; #ifndef GIT_VERSION #define GIT_VERSION "" diff --git a/libpolyml/version.h b/libpolyml/version.h index c4515ce8b..954ccc116 100644 --- a/libpolyml/version.h +++ b/libpolyml/version.h @@ -24,15 +24,15 @@ #define VERSION_H_INCLUDED // Poly/ML system interface level -#define POLY_version_number 570 +#define POLY_version_number 571 // POLY_version_number is written into all exported files and tested // when we start up. The idea is to ensure that if a file is exported // from one version of the library it will run successfully if linked // with a different version. -// This only supports version 5.7 -#define FIRST_supported_version 570 -#define LAST_supported_version 570 +// This only supports version 5.7.1 +#define FIRST_supported_version 571 +#define LAST_supported_version 571 -#define TextVersion "5.7" +#define TextVersion "5.7.1" #endif diff --git a/mlsource/MLCompiler/CompilerVersion.sml b/mlsource/MLCompiler/CompilerVersion.sml index ed5af577f..2d0046f1b 100644 --- a/mlsource/MLCompiler/CompilerVersion.sml +++ b/mlsource/MLCompiler/CompilerVersion.sml @@ -17,7 +17,7 @@ structure CompilerVersion = struct - val compilerVersion = "5.7.1 Testing" + val compilerVersion = "5.7.1 Release" val versionNumber = 571 val versionSuffix = Int.toString versionNumber end; diff --git a/poly.1 b/poly.1 index 1ead8f6a7..8e15dcc8d 100644 --- a/poly.1 +++ b/poly.1 @@ -1,4 +1,4 @@ -.TH POLY 1 "Poly/ML Version 5.7 2017" +.TH POLY 1 "Poly/ML Version 5.7.1 2017" .SH NAME poly \- the Poly/ML Standard ML implementation .SH SYNOPSIS diff --git a/polyc.1 b/polyc.1 index 7b33c955f..d46cc86de 100644 --- a/polyc.1 +++ b/polyc.1 @@ -1,4 +1,4 @@ -.TH POLY 1 "Poly/ML Version 5.7 2017" +.TH POLY 1 "Poly/ML Version 5.7.1 2017" .SH NAME polyc \- Compile and link a Standard ML program using Poly/ML .SH SYNOPSIS diff --git a/polyimport.1 b/polyimport.1 index eabdb2abc..d12254ee8 100644 --- a/polyimport.1 +++ b/polyimport.1 @@ -1,4 +1,4 @@ -.TH POLY 1 "Poly/ML Version 5.7 2017" +.TH POLY 1 "Poly/ML Version 5.7.1 2017" .SH NAME polyimport \- the Poly/ML import program .SH SYNOPSIS diff --git a/wininstall/PolyML.wxs b/wininstall/PolyML.wxs index 51939fec5..c9e36b10b 100644 --- a/wininstall/PolyML.wxs +++ b/wininstall/PolyML.wxs @@ -1,11 +1,11 @@ - + - + @@ -13,9 +13,9 @@ + Language='2057' Codepage='1252' Version='5.7.1' Manufacturer='Poly/ML'> - = 600)]]> @@ -26,7 +26,7 @@ - +