Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

executable file 17 lines (12 sloc) 0.564 kB
#!/bin/sh -ex
WITH_LWT=`ocamlfind query lwt cstruct ipaddr io-page 2>/dev/null || echo ""`
ocamlbuild -tag bin_annot types/V1.cmi
FILES="types/META _build/types/V1.mli _build/types/V1.cmi -optional _build/types/V1.cmti"
if [ "$WITH_LWT" != "" ]; then
ocamlbuild -use-ocamlfind -pkgs lwt,io-page,cstruct,ipaddr -tag bin_annot -I types types/V1_LWT.cmi
FILES="${FILES} _build/types/V1_LWT.cmi _build/types/V1_LWT.mli _build/types/V1_LWT.cmti"
fi
if [ "$1" = "true" ]; then
ocamlfind remove mirage-types || true
ocamlfind install mirage-types ${FILES}
fi
Jump to Line
Something went wrong with that request. Please try again.