From 1bdb0b19681c4c6dd122f8df70700a2a9df5b4c5 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 16 May 2021 13:44:10 +0300 Subject: [PATCH] genRuntimeSrc --- genRuntimeSrc | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 genRuntimeSrc diff --git a/genRuntimeSrc b/genRuntimeSrc new file mode 100755 index 00000000..02387c29 --- /dev/null +++ b/genRuntimeSrc @@ -0,0 +1,9 @@ +#!/usr/bin/env bash +if [[ $# -ne 1 ]]; then + echo "Usage: ./genRuntimeSrc path/to/mlochbaum/BQN" + exit +fi +./BQN cc.bqn $1 -i r0 > src/runtime0 +./BQN cc.bqn $1 -i r1 > src/runtime1 +./BQN cc.bqn $1 -i c > src/compiler +./BQN cc.bqn $1 -i f > src/formatter