projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29afc3e) | patch
Clean-up the build system.
authorKim Nguyễn <kn@lri.fr>
Thu, 7 Feb 2013 22:12:04 +0000 (23:12 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 7 Feb 2013 22:12:04 +0000 (23:12 +0100)
commitd89f59cf6220e605bfbb67fd3cb83f9165fde5a5
treeea997e2c8573f6100c6852de22a48bfecee8db09tree | snapshot
parent29afc3e757d710479de98f3077698a350f810cefcommit | diff
Clean-up the build system.
- Add a portable build script (only requires ocaml)
- Regroup all build option in the _tags file
- Write a generic myocamlbuild.ml file
Makefile [deleted file] blob | history
_tags diff | blob | history
build [new file with mode: 0755] blob
myocamlbuild.ml diff | blob | history
Tree Automata TOOlkit