From 5d2c13f16af2183a5d1861828e512fe0f964990c Mon Sep 17 00:00:00 2001 From: rathann Date: Tue, 10 Nov 2020 17:19:17 +0100 Subject: Allow setting the path to libbinaryen.so shared library (#3025) This makes it easier to install libbinaryen.so into an alternative locations. Fixes part of issue #2999 for me. --- scripts/test/shared.py | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'scripts/test') diff --git a/scripts/test/shared.py b/scripts/test/shared.py index b443f4250..720ad2aa9 100644 --- a/scripts/test/shared.py +++ b/scripts/test/shared.py @@ -54,6 +54,10 @@ def parse_args(args): ' Default: bin/ of current directory (i.e. assume an in-tree build).' ' If not specified, the environment variable BINARYEN_ROOT= can also' ' be used to adjust this.')) + parser.add_argument( + '--binaryen-lib', dest='binaryen_lib', default='', + help=('Specifies a path to where the built Binaryen shared library resides at.' + ' Default: ./lib relative to bin specified above.')) parser.add_argument( '--binaryen-root', dest='binaryen_root', default='', help=('Specifies a path to the root of the Binaryen repository tree.' @@ -120,6 +124,11 @@ if not options.binaryen_bin: options.binaryen_bin = os.path.normpath(os.path.abspath(options.binaryen_bin)) +if not options.binaryen_lib: + options.binaryen_lib = os.path.join(os.path.dirname(options.binaryen_bin), 'lib') + +options.binaryen_lib = os.path.normpath(os.path.abspath(options.binaryen_lib)) + # ensure BINARYEN_ROOT is set up os.environ['BINARYEN_ROOT'] = os.path.dirname(options.binaryen_bin) -- cgit v1.2.3