New Formula: Qi

Qi is a functional programming language with a Turing-complete type system
based on the sequent calculus. See:

  http://en.wikipedia.org/wiki/Qi_(programming_language)

Closes #7806.

Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>

1 files changed, 31 insertions, 0 deletions

diff --git a/Library/Formula/qi.rb b/Library/Formula/qi.rb
new file mode 100644
index 000000000..0a92a94c5
--- /dev/null
+++ b/Library/Formula/qi.rb
@@ -0,0 +1,31 @@
+require 'formula'
+
+class Qi < Formula
+  url 'http://www.lambdassociates.org/Download/QiII1.07.zip'
+  homepage 'http://www.lambdassociates.org/'
+  md5 '3a0b5c56d0f107f80f5bca11b82a4d59'
+
+  def options
+    [['--SBCL', 'Use SBCL instead of CLISP']]
+  end
+
+  if ARGV.include? '--SBCL'
+    depends_on 'sbcl'
+  else
+    depends_on 'clisp'
+  end
+
+  def install
+    if ARGV.include? '--SBCL'
+      system "cd Lisp; sbcl --load 'install.lsp'"
+      system "echo \"#!/bin/bash\nsbcl --core #{prefix}/Qi.core $*\" > qi"
+      prefix.install ['Lisp/Qi.core']
+    else
+      system "cd Lisp; clisp install.lsp"
+      system "echo \"#!/bin/bash\nclisp -M #{prefix}/Qi.mem $*\" > qi"
+      prefix.install ['Lisp/Qi.mem']
+    end
+    system "chmod 755 qi"
+    bin.install ['qi']
+  end
+end