0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00

configurable java home

This commit is contained in:
Eliot Horowitz 2009-01-19 13:02:41 -05:00
parent 1eee5b454c
commit 0279a79e5a

View File

@ -16,6 +16,16 @@ AddOption('--prefix',
help='installation prefix')
AddOption('--java',
dest='javaHome',
type='string',
default="/opt/java/",
nargs=1,
action='store',
metavar='DIR',
help='java home')
# --- environment setup ---
env = Environment()
@ -37,6 +47,8 @@ allClientFiles = commonFiles + coreDbFiles + [ "client/clientOnly.cpp" ];
nix = False
print( "javaHome:" + GetOption( "javaHome" ) )
def findVersion( root , choices ):
for c in choices:
if ( os.path.exists( root + c ) ):
@ -56,7 +68,6 @@ if "darwin" == os.sys.platform:
nix = True
elif "linux2" == os.sys.platform:
javaHome = "/opt/java/"
env.Append( CPPPATH=[ javaHome + "include" , javaHome + "include/linux"] )