diff options
| author | Trygve Laugstøl <trygvis@inamo.no> | 2019-08-12 14:22:44 +0200 |
|---|---|---|
| committer | Trygve Laugstøl <trygvis@inamo.no> | 2019-08-12 14:22:44 +0200 |
| commit | 9739fe95e608845311f5cdc60d07d02af0b96b81 (patch) | |
| tree | ae43b541abebe324d3ee36d10d9d1a023c7ce39f /src/ee/tools/templates | |
| parent | 81bd4410efa86722661c809d9522f8c2fcc858ec (diff) | |
| download | ee-python-9739fe95e608845311f5cdc60d07d02af0b96b81.tar.gz ee-python-9739fe95e608845311f5cdc60d07d02af0b96b81.tar.bz2 ee-python-9739fe95e608845311f5cdc60d07d02af0b96b81.tar.xz ee-python-9739fe95e608845311f5cdc60d07d02af0b96b81.zip | |
ninja: Working detection of custom supplier Datalog files.
Diffstat (limited to 'src/ee/tools/templates')
| -rw-r--r-- | src/ee/tools/templates/build.ninja.j2 | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/ee/tools/templates/build.ninja.j2 b/src/ee/tools/templates/build.ninja.j2 index 8ca5d3a..c68f505 100644 --- a/src/ee/tools/templates/build.ninja.j2 +++ b/src/ee/tools/templates/build.ninja.j2 @@ -148,9 +148,7 @@ build $public_dir/{{ s.key }}/parts.xml: part-apply-function $public_dir/{{ s.ke build $public_dir/{{ s.key }}/souffle/facts.dl: part-apply-souffle-pre $public_dir/{{ s.key }}/downloaded.xml work = $public_dir/{{ s.key }}/souffle -{%- set main="$souffle_src/" + s.key + ".dl" %} -{%- set alt="$public_dir/custom/" + s.key + "-souffle.dl" %} -build $public_dir/{{ s.key }}/souffle/out/add_fact.csv: souffle {{ alt if is_file(alt) else main }} | {{ main }} $public_dir/{{ s.key }}/souffle/facts.dl +build $public_dir/{{ s.key }}/souffle/out/add_fact.csv: souffle {{ s.souffle_script }} | {{ main }} $public_dir/{{ s.key }}/souffle/facts.dl work = $public_dir/{{ s.key }}/souffle build {{ s.part_db }}: part-apply-souffle-post $public_dir/{{ s.key }}/souffle/out/add_fact.csv |