Skip to content

Commit 3efa7b5

Browse files
committed
Add derivative CodeQL QL for QL queries and libraries
1 parent e0841eb commit 3efa7b5

File tree

2 files changed

+35
-0
lines changed

2 files changed

+35
-0
lines changed
Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
{ stdenv, lib, fetchFromGitHub, rustPlatform, gh, libiconv, which, jq, withCodeQlCli }:
2+
3+
stdenv.mkDerivation rec {
4+
pname = "codeql-ql";
5+
version = "0.1.0-dev";
6+
7+
dontConfigure = true;
8+
dontStrip = true;
9+
dontInstall = true;
10+
dontFixup = true;
11+
12+
src = fetchFromGitHub {
13+
owner = "github";
14+
repo = "codeql";
15+
rev = "codeql-cli/v2.16.0";
16+
sha256 = "x2EFoOt1MZRXxIZt6hF86Z1Qu/hVUoOVla562TApVwo=";
17+
};
18+
19+
nativeBuildInputs = [ gh libiconv which withCodeQlCli jq];
20+
21+
platform = if stdenv.isLinux then "linux64" else "osx64";
22+
23+
buildPhase = ''
24+
runHook preBuild
25+
mkdir -p $out
26+
codeql pack create --threads=0 --output=$out --no-default-compilation-cache --compilation-cache=$TMP_DIR ql/ql/src
27+
runHook postBuild
28+
'';
29+
}

scripts/codeql/codeql-ql/default.nix

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
let
2+
pkgs = import <nixpkgs> {};
3+
in
4+
{
5+
codeql-ql-0_1_0-dev = pkgs.callPackage ./0.0.1-dev.nix {};
6+
}

0 commit comments

Comments
 (0)