From f577eb81ae6942954f04aab4ceebce4e68d297c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= <motiejus@uber.com>
Date: Fri, 2 Apr 2021 06:31:47 +0300
Subject: [PATCH] fix test dependencies

---
 IV/Makefile             | 2 +-
 IV/extract-and-generate | 5 +++--
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/IV/Makefile b/IV/Makefile
index 0f3c698..517aeca 100644
--- a/IV/Makefile
+++ b/IV/Makefile
@@ -46,7 +46,7 @@ mj-msc-full.pdf: mj-msc.pdf version.tex $(ARCHIVABLES)
 	done
 	mv .tmp-$@ $@
 
-test-figures.pdf: layer2img.py tests.sql
+test-figures.pdf: layer2img.py .faux_test
 	python ./layer2img.py --group1-table=figures --group1-arrows=yes --outfile=$@
 
 .faux_test: tests.sql wm.sql .faux.db
diff --git a/IV/extract-and-generate b/IV/extract-and-generate
index f6861dd..d32a7b6 100755
--- a/IV/extract-and-generate
+++ b/IV/extract-and-generate
@@ -1,9 +1,10 @@
 #!/bin/bash
 set -euo pipefail
 dir=$(mktemp -d)
-src=${1:-mj-msc.pdf}
-dst=${2:-mj-msc-full.pdf}
+src=${1:-mj-msc-full.pdf}
+dst=${2:-mj-msc.pdf}
 echo "Extracting $src to $dir/" && pdfdetach -saveall -o "$dir" "$src"
+chmod a+x "$dir/db"
 echo "Generating $dir/$dst ..."
 make -j $(nproc) -C "$dir" "$dst" &> "$dir/make.log" || {
     echo "Generation failed. Log extract:" && tail -20 "$dir/make.log"