Add a Python library for making IMPLEMENTS

1 files changed, 9 insertions, 1 deletions

diff --git a/check b/check
index fa838be..57e3b26 100755
--- a/check
+++ b/check
@@ -2,4 +2,12 @@
 
 set -eu
 
-yarn --shell python2 --shell-arg '' manual.yarn "$@"
+if env | grep '^PYTHONPATH=' > /dev/null
+then
+    PYTHONPATH="$PYTHONPATH:."
+else
+    PYTHONPATH="."
+fi
+
+yarn --env "PYTHONPATH=$PYTHONPATH" \
+     --shell python2 --shell-arg '' manual.yarn "$@"