diff options
Diffstat (limited to 'pipeline/one.sh')
| -rwxr-xr-x | pipeline/one.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/pipeline/one.sh b/pipeline/one.sh index 55e9ca6..a018fec 100755 --- a/pipeline/one.sh +++ b/pipeline/one.sh @@ -7,8 +7,6 @@ # # 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 # agree-d agree-g the library's two loaders against each other # text-d text-g the writers. Each takes a .ssp, a .ocda.db or a @@ -28,10 +26,6 @@ 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" ;; - db-g) exec "$DB_READER/gleam/result/bin/ocda-db-reader" "$file" ;; dump-d) exec "$OCDA_LIB/dlang/result/bin/ocda-dump" "$file" $lang ;; dump-g) exec "$OCDA_LIB/gleam/result/bin/ocda-lib" dump "$file" $lang ;; agree-d) exec "$OCDA_LIB/dlang/result/bin/ocda-agree" "$file" $lang ;; |