index
:
inpla.git
main
A fork of Inpla, a multi-threaded parallel interpreter of interaction nets
mirenn
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
comparison
/
Inpla
/
Makefile
blob: fd037436a27fe2180708f4c23a6ef3d86fd8c6f0 (
plain
) (
blame
)
1
2
3
4
5
6
7
8
.PHONY
:
all
all
:
bash
main.sh
clean
:
rm
-f
./inplaSeq
./inplaPara
log-*
*~