Ticket #23238: patch-configure.diff

File patch-configure.diff, 811 bytes (added by cristiano.fontana@…, 15 years ago)

  • configure

    old new  
    129129        if self.boostDir :
    130130            self.boostDir = os.path.abspath(self.boostDir)
    131131            self.boostIncDir = os.path.join(self.boostDir, "include")
    132             vDir = os.listdir(self.boostIncDir)[0]
    133             self.boostIncDir = os.path.join(self.boostIncDir, vDir)
     132            #vDir = os.listdir(self.boostIncDir)[0]
     133            #self.boostIncDir = os.path.join(self.boostIncDir, vDir)
    134134            self.boostLibDir = os.path.join(self.boostDir, "lib")
    135135            if not os.path.exists(os.path.join(self.boostIncDir, "boost", "shared_ptr.hpp") ) :
    136136                print "\n\nFATAL ERROR: Invalid Boost directory! (no boost/shared_ptr.hpp in: "+self.boostIncDir+'\n'