On 14/04/18 22:32, Kuniaki Mukai wrote:
>
>
>> On Apr 15, 2018, at 13:54, Louis Steinberg
The binary installer contains the commandline executables. Forgot the
package structure, but AFAIK this is explained in the Readme.html of the
disk image.
If you want these, as Kuniaki states, using Homebrew or Macports give
more flexibility to get exactly what you want.
Cheers --- Jan
>
> Although I use the git version because of personal historical reasons,
> once I installed a Homebrew version of SWI-Prolog for curious, and it
> worked well without no prolem.
> Unless you have to use a git version, it might be a good choice to
> use Homebrew version for quick installation.
>
> I am far from unix expert but fortunately, I managed to install Apache,
> Gnu Emacs, MacTex (Texlive), sshfs, ...
> within hobbyist level of efforts. Also it should be noted that latest
> macOS exploits SIP policy for security reason.
> I forgot details and still don’t know it.
>
> ( macOS High Shierra )
> % brew info swi-prolog
> swi-prolog: stable 7.6.4 (bottled), devel 7.7.9, HEAD
> ISO/Edinburgh-style Prolog interpreter
>
http://www.swi-prolog.org/
> Not installed
> From:
>
https://github.com/Homebrew/homebrew-core/blob/master/Formula/swi-prolog.rb
> ==>*Dependencies*
> Build: *pkg-config **✔*
> Required: *readline **✔*, *gmp **✔*, *openssl **✔*
> Optional: *libarchive **✔*
> ==>*Options*
> --with-jpl
> Enable JPL (Java Prolog Bridge)
> --with-libarchive
> Build with libarchive support
> --with-lite
> Disable all packages
> --with-xpce
> Enable XPCE (Prolog Native GUI Library)
> --devel
> Install development version 7.7.9
> --HEAD
> Install HEAD version
> %
>
> Hope this help. Good luck.
>
> -km
>
>>
>> --
>> You received this message because you are subscribed to the Google
>> Groups "SWI-Prolog" group.
>> To unsubscribe from this group and stop receiving emails from it, send
>> an email to
swi-prolog+...@googlegroups.com
>> <mailto:
swi-prolog+...@googlegroups.com>.
> --
> You received this message because you are subscribed to the Google
> Groups "SWI-Prolog" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to
swi-prolog+...@googlegroups.com
> <mailto:
swi-prolog+...@googlegroups.com>.