2011-10-21 12:29:36 +00:00
|
|
|
require 'formula'
|
|
|
|
|
|
|
|
class Logtalk < Formula
|
2012-05-10 14:10:12 +00:00
|
|
|
homepage 'http://logtalk.org'
|
2011-10-21 12:29:36 +00:00
|
|
|
url 'http://logtalk.org/files/lgt2432.tar.bz2'
|
|
|
|
version '2.43.2'
|
2012-09-03 18:33:56 +00:00
|
|
|
sha1 'c5491754f4277c38ecf00d916eb0faba05d58442'
|
2011-10-21 12:29:36 +00:00
|
|
|
|
|
|
|
case
|
|
|
|
when ARGV.include?("--swi-prolog")
|
|
|
|
depends_on 'swi-prolog'
|
|
|
|
when ARGV.include?("--gnu-prolog")
|
|
|
|
depends_on 'gnu-prolog'
|
|
|
|
else
|
|
|
|
depends_on 'gnu-prolog'
|
|
|
|
end
|
|
|
|
|
|
|
|
case
|
|
|
|
when ARGV.include?("--use-git-head")
|
2012-05-10 14:10:12 +00:00
|
|
|
head 'https://github.com/pmoura/logtalk.git'
|
2011-10-21 12:29:36 +00:00
|
|
|
else
|
2012-05-10 14:10:12 +00:00
|
|
|
head 'http://svn.logtalk.org/logtalk/trunk'
|
2011-10-21 12:29:36 +00:00
|
|
|
end
|
|
|
|
|
|
|
|
def options
|
|
|
|
[
|
|
|
|
["--swi-prolog", "Build using SWI Prolog as backend."],
|
|
|
|
["--gnu-prolog", "Build using GNU Prolog as backend. (Default)"],
|
|
|
|
["--use-git-head", "Use GitHub mirror."]
|
|
|
|
]
|
|
|
|
end
|
|
|
|
|
|
|
|
def install
|
|
|
|
system "scripts/install.sh #{prefix}"
|
|
|
|
man1.install Dir['man/man1/*']
|
|
|
|
bin.install Dir['bin/*']
|
|
|
|
end
|
|
|
|
end
|