2017-08-24 15:16:08 +00:00
|
|
|
class Ott < Formula
|
|
|
|
|
desc "Tool for writing definitions of programming languages and calculi"
|
|
|
|
|
homepage "https://www.cl.cam.ac.uk/~pes20/ott/"
|
|
|
|
|
url "https://github.com/ott-lang/ott/archive/0.25.tar.gz"
|
|
|
|
|
sha256 "c6abbbeb8cd44dc973d45d30bc5a7e42e212f2feba45c8e0489fab3c3cbf0d78"
|
|
|
|
|
head "https://github.com/ott-lang/ott.git"
|
|
|
|
|
|
2017-09-08 20:12:40 +00:00
|
|
|
bottle do
|
|
|
|
|
cellar :any_skip_relocation
|
|
|
|
|
sha256 "ed2772edcfd26b38e16d3fe7affef7f56e59d2104960119589147538b00feec1" => :sierra
|
|
|
|
|
sha256 "346a4a25c142cac3b2c4c4c0ac05101999d034320344e74d37e6859307b1a0ec" => :el_capitan
|
|
|
|
|
sha256 "6fdfc33c357a3ee8a6d89a4546c59ab916b41b2fc81cac4fcb177521f418c7b9" => :yosemite
|
|
|
|
|
end
|
|
|
|
|
|
2017-08-24 15:16:08 +00:00
|
|
|
depends_on "ocaml" => :build
|
|
|
|
|
|
|
|
|
|
def install
|
|
|
|
|
system "make", "world"
|
|
|
|
|
bin.install "bin/ott"
|
|
|
|
|
pkgshare.install "examples"
|
|
|
|
|
|
|
|
|
|
site_lisp = pkgshare/"emacs/site-lisp/ott"
|
|
|
|
|
if build.stable?
|
|
|
|
|
site_lisp.install "emacs/ottmode.el"
|
|
|
|
|
else
|
|
|
|
|
site_lisp.install "emacs/ott-mode.el"
|
|
|
|
|
end
|
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
test do
|
|
|
|
|
system "#{bin}/ott", "-i", pkgshare/"examples/peterson_caml.ott",
|
|
|
|
|
"-o", "peterson_caml.tex", "-o", "peterson_caml.v"
|
|
|
|
|
end
|
|
|
|
|
end
|
