diff options
Diffstat (limited to 'src/nbc/Makefile')
| -rw-r--r-- | src/nbc/Makefile | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/nbc/Makefile b/src/nbc/Makefile deleted file mode 100644 index 4f9c324..0000000 --- a/src/nbc/Makefile +++ /dev/null @@ -1,16 +0,0 @@ -MLTON = mlton -MLYACC = mlyacc -MLLEX = mllex -%.grm.sig %.grm.sml: %.grm - $(MLYACC) $^ -%.lex.sml: %.lex - $(MLLEX) $^ -%: %.mlb - $(MLTON) $(MLTONFLAGS) -output $@ $^ -all: count probabilities-by-read -count: count.mlb -probabilities-by-read: probabilities-by-read.mlb -score: score.mlb -tabulate: tabulate.mlb -clean: - rm -f count probabilities-by-read |