2015-12-18 09:15:28 +08:00
|
|
|
cask 'swi-prolog' do
|
2015-07-26 23:56:48 +08:00
|
|
|
version '7.2.2'
|
|
|
|
sha256 'e960065f70409995ccc846f2a4238c7fbdd5c8a23918db37d0d2e5eb2c81045f'
|
2015-03-12 08:50:25 +08:00
|
|
|
|
|
|
|
url "http://www.swi-prolog.org/download/stable/bin/SWI-Prolog-#{version}.dmg"
|
|
|
|
name 'SWI-Prolog'
|
|
|
|
homepage 'http://www.swi-prolog.org/'
|
|
|
|
license :oss
|
|
|
|
|
|
|
|
app 'SWI-Prolog.app'
|
|
|
|
binary 'SWI-Prolog.app/Contents/MacOS/swipl'
|
|
|
|
binary 'SWI-Prolog.app/Contents/MacOS/swipl-ld'
|
|
|
|
end
|