switch build system to oasis
commit6a1af376b0726add0b0676ba038b3425ae466a24
authorygrek <ygrek@autistici.org>
Sun, 19 Oct 2014 10:44:18 +0000 (19 18:44 +0800)
committerygrek <ygrek@autistici.org>
Sun, 19 Oct 2014 10:58:38 +0000 (19 18:58 +0800)
tree5f9d770162eca9bf9056414b606af488b7ed1d37
parent5289cb74ba2bc0d8efc687ee9ef641b9037e19c1
switch build system to oasis
15 files changed:
.gitignore
Makefile [new file with mode: 0644]
_oasis [new file with mode: 0644]
_tags [new file with mode: 0644]
build.bat [new file with mode: 0644]
configure [new file with mode: 0755]
myocamlbuild.ml [new file with mode: 0644]
setup.ml [new file with mode: 0644]
src/Makefile [deleted file]
src/_tags [deleted file]
src/build.bat [deleted file]
src/myocamlbuild.ml [deleted file]
src/top [deleted file]
src/version_release.ml.ab [new file with mode: 0644]
top [new file with mode: 0755]