Cleanup repository by removing old and generated files

Rename l2.ott to sail.ott

1 files changed, 0 insertions, 16 deletions

diff --git a/src/contrib/checkout.sh b/src/contrib/checkout.sh
deleted file mode 100755
index 6d423e54..00000000
--- a/src/contrib/checkout.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-
-test -d batteries-included || (git clone https://github.com/ocaml-batteries-team/batteries-included.git && \
-    cd batteries-included && git checkout release-2.2.0)
-(cd batteries-included && make all)
-
-test -d bitstring || (git clone https://code.google.com/p/bitstring/ && \
-	cd bitstring && git checkout master)
-(cd bitstring && (test -e config.h || (aclocal && autoreconf && ./configure)) && make srcdir='$(top_srcdir)' )
-
-# To fix "-fno-defer-pop" build problem on Mac OS, brew install gcc
-# and make sure "gcc" runs the brew version (not clang). Or get ocaml
-# 4.01.0 via opam, which avoids this problem.
-test -d uint || (git clone https://github.com/andrenth/ocaml-uint.git && \
-	cd ocaml-uint && git checkout 1.1.x)
-(cd ocaml-uint && make configure && make)