Changeset 38bcb6d in tol

Timestamp:

Mar 6, 2012, 9:44:33 AM (15 years ago)

Author:

Víctor de Buen <vdebuen@…>

Branches:

1941-docker-image-to-test, devel, master

Children:

e976171

Parents:

c42f354

Message:

Refs #1458

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@4295 be4846ae-f051-483a-831f-b64e7d08527f

File:

• tol/stdlib/general/TolPackage/server.tol (modified) (1 diff)

tol/stdlib/general/TolPackage/server.tol

@@ -123 +123 @@
   Text name.version = name+"."<<
     pkg::_.autodoc.version.high+"."<<pkg::_.autodoc.version.low;
+  Real okTolVersion = And(
+    Compare.VersionString(pkg::_.autodoc.minTolVersion,TolPackage::_.currentTolVersion)<=0,
+    Compare.VersionString(pkg::_.autodoc.maxTolVersion,TolPackage::_.currentTolVersion)>=0);
+  Real If(!okTolVersion, 
+  {
+    Error("[TolPackage::Server::BuildPackage] cannot create package "<<name.version+
+    "with current TOL version "<<Version+". It requires a version in interval "+
+    "["<<pkg::_.autodoc.minTolVersion+","<<pkg::_.autodoc.maxTolVersion+"]");
+    Real Stop
+  });
   Text ppRoot_ = destination+name.version;
   Text ppRoot = ppRoot_+"/";
   Real TolPackage::PackageInfo.Build(pkgCnt[1],ppRoot,release.gmt);
   Set nonTolResources = pkg::_.autodoc.nonTolResources;
+
 
   Real OSDirMake(ppRoot);