diff options
Diffstat (limited to 'pipeline/one.sh')
| -rwxr-xr-x | pipeline/one.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/pipeline/one.sh b/pipeline/one.sh index 18ffc5f..55e9ca6 100755 --- a/pipeline/one.sh +++ b/pipeline/one.sh @@ -1,10 +1,12 @@ -#!/bin/sh +#!/usr/bin/env sh # One tool, one document: the answer to "how do I run this by hand?". # # sh pipeline/one.sh <tool> <file> [lang] # # where <tool> is one of # +# read-d read-g ocda-read, the library's reader of every form; takes its +# modes after the file: one.sh read-d <file> en --tree # ssp-d ssp-g the .ssp readers, D and Gleam # db-d db-g the .ocda.db readers # dump-d dump-g the library's canonical dump of the whole model @@ -24,6 +26,8 @@ file=${2:?usage: one.sh <tool> <file> [lang]} lang=${3:-} case $tool in + read-d) shift; exec "$OCDA_LIB/dlang/result/bin/ocda-read" "$@" ;; + read-g) shift; exec "$OCDA_LIB/gleam/result/bin/ocda-read" "$@" ;; ssp-d) exec "$SSP_READER/dlang/result/bin/ssp-reader" "$file" ;; ssp-g) exec "$SSP_READER/gleam/result/bin/ssp_reader" "$file" ;; db-d) exec "$DB_READER/dlang/result/bin/ocda-db-reader" "$file" ;; |