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/"
|
2017-09-22 18:18:09 +00:00
|
|
|
url "https://github.com/ott-lang/ott/archive/0.26.tar.gz"
|
|
|
|
|
sha256 "fda1380c33a661290b13241c56dd29c4e09667db738dcd68bc9b388e93137e2c"
|
2017-08-24 15:16:08 +00:00
|
|
|
head "https://github.com/ott-lang/ott.git"
|
|
|
|
|
|
2017-09-08 20:12:40 +00:00
|
|
|
bottle do
|
|
|
|
|
cellar :any_skip_relocation
|
2017-09-23 05:57:02 +00:00
|
|
|
sha256 "5e0fee5c01837dce4ce480af3750bf0b177cd57a2babcaf6a13bf4ff4c5cd130" => :high_sierra
|
2017-09-22 19:27:47 +00:00
|
|
|
sha256 "383420ca2a3c29a95eb3a7c22cada562dff900e5952a3bf2cfd552887a7ed269" => :sierra
|
|
|
|
|
sha256 "ca2b4bb615be0404e3d74008fedb654e5081cf779fab89cd17660b4255982fcb" => :el_capitan
|
2017-09-08 20:12:40 +00:00
|
|
|
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"
|
2017-09-22 18:18:09 +00:00
|
|
|
(pkgshare/"emacs/site-lisp/ott").install "emacs/ott-mode.el"
|
2017-08-24 15:16:08 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
test do
|
|
|
|
|
system "#{bin}/ott", "-i", pkgshare/"examples/peterson_caml.ott",
|
|
|
|
|
"-o", "peterson_caml.tex", "-o", "peterson_caml.v"
|
|
|
|
|
end
|
|
|
|
|
end
|
