faa33fc84bce draft — Sietse Brouwer 8 months ago 
bin/bashlog: run a bashlog script
patch browse 
1 files changed, 15 insertions(+), 0 deletions(-)

A => bin/bashlog

A => bin/bashlog +15 -0
@@ 0,0 1,15 @@ 
+#!/bin/sh
+
+datalog_program="$1"
+predicate="${2:-main}"
+script="$datalog_program".sh
+
+echo Predicate: $predicate 1>&2
+
+java \
+    -jar $HOME/lib/bashlog-datalog.jar \
+    --query-file "$datalog_program" \
+    --query-pred "$predicate" \
+    > "$script"
+
+bash "$script"