GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — codeql/python/scripts/create-extractor-pack.sh at main · zskbot/codeql Expand file tree/ Copy pathcreate-extractor-pack.shMore file actions executable file ·67 lines (57 loc) · 2.15 KB / Copy pathcreate-extractor-pack.shFile metadata and controlsexecutable file ·67 lines (57 loc) · 2.15 KB 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 #!/bin/bash # # Build a local Python extractor pack from source. # # Usage with the CodeQL CLI (run from the repository root): # # codeql database create <db> -l python -s <src> --search-path . # codeql test run --search-path . python/ql/test/<test-dir> # set -eux if [[ "$OSTYPE" == "linux-gnu"* ]]; then platform="linux64" elif [[ "$OSTYPE" == "darwin"* ]]; then platform="osx64" else echo "Unknown OS" exit 1 fi cd "$(dirname "$0")/.." # Build the tsg-python Rust binary (cd extractor/tsg-python && cargo build --release) tsg_bin="extractor/tsg-python/target/release/tsg-python" # Generate python3src.zip from the Python extractor source. # make_zips.py creates the zip in the source directory and then copies it to the # given output directory. We use a temporary directory to avoid a same-file copy # error, then move the zip back. tmpdir=$(mktemp -d) trap 'rm -rf "$tmpdir"' EXIT (cd extractor && python3 make_zips.py "$tmpdir") cp "$tmpdir/python3src.zip" extractor/python3src.zip # Assemble the extractor pack rm -rf extractor-pack mkdir -p extractor-pack/tools/${platform} # Root-level metadata and schema files cp codeql-extractor.yml extractor-pack/ cp ql/lib/semmlecode.python.dbscheme extractor-pack/ cp ql/lib/semmlecode.python.dbscheme.stats extractor-pack/ # Python extractor engine files (into tools/) cp extractor/python_tracer.py extractor-pack/tools/ cp extractor/index.py extractor-pack/tools/ cp extractor/setup.py extractor-pack/tools/ cp extractor/convert_setup.py extractor-pack/tools/ cp extractor/get_venv_lib.py extractor-pack/tools/ cp extractor/imp.py extractor-pack/tools/ cp extractor/LICENSE-PSF.md extractor-pack/tools/ cp extractor/python3src.zip extractor-pack/tools/ cp -r extractor/data extractor-pack/tools/ # Shell tool scripts (autobuild, pre-finalize, lgtm-scripts) cp tools/autobuild.sh extractor-pack/tools/ cp tools/autobuild.cmd extractor-pack/tools/ cp tools/pre-finalize.sh extractor-pack/tools/ cp tools/pre-finalize.cmd extractor-pack/tools/ cp -r tools/lgtm-scripts extractor-pack/tools/ # Downgrades cp -r downgrades extractor-pack/ # Platform-specific Rust binary cp "${tsg_bin}" extractor-pack/tools/${platform}/tsg-python |
| You are visitor 01402520 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |