File boost-sane_versioning.patch of Package boost

Overview Repositories Revisions Requests Users Attributes Meta

File boost-sane_versioning.patch of Package boost

Index: Jamroot
===================================================================
--- Jamroot.orig	2010-08-24 14:03:40.000000000 +0200
+++ Jamroot	2010-08-24 14:03:46.000000000 +0200
@@ -377,9 +377,7 @@ rule tag ( name : type ? : property-set
         if $(layout) = versioned
         {
             result = [ common.format-name
-                <base> <toolset> <threading> <runtime> -$(BOOST_VERSION_TAG)
-                -$(BUILD_ID)
-                : $(name) : $(type) : $(property-set) ] ;
+                <base> <runtime> : $(name) : $(type) : $(property-set) ] ;
         }        
         else if $(layout) = tagged
         {
@@ -527,13 +525,9 @@ if $(layout-versioned) && ( [ modules.pe
         return $(result) ;
     }
 
-    generate stage-unversioned : stage-proper :
-        <generating-rule>@make-unversioned-links ;
-    explicit stage-unversioned ;
-
-    generate install-unversioned : install-proper :
-        <generating-rule>@make-unversioned-links ;
-    explicit install-unversioned ;
+    # Create do-nothing aliases
+    alias stage-unversioned ;
+    alias install-unversioned ;
 }
 else
 {

Places

File boost-sane_versioning.patch of Package boost

Places