Swi-prolog on RHEL 7 / CentOS7 ?

576 views
Skip to first unread message

olivier sallou

unread,
Jan 8, 2015, 4:14:46 AM1/8/15
to swi-p...@googlegroups.com
Hi,
swi-prolog does not seem to be available for RHEL/CentOS 7.

Is there any specific reason fo that?

Thanks

Olivier

Boris Vassilev

unread,
Jan 8, 2015, 4:50:22 AM1/8/15
to olivier sallou, swi-p...@googlegroups.com
The development version in not "available" through the package manager on most Linux/BSD distributions. It is, however, very easy to build from source. See the link:

http://www.swi-prolog.org/build/

Currently in the EET time zone: This is UTC +2:00 (and I sleep at night)
Save our in-boxes! http://emailcharter.org

--
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.
Visit this group at http://groups.google.com/group/swi-prolog.
For more options, visit https://groups.google.com/d/optout.

Jan Wielemaker

unread,
Jan 8, 2015, 5:02:59 AM1/8/15
to olivier sallou, swi-p...@googlegroups.com
On 01/08/2015 10:14 AM, olivier sallou wrote:
> Hi,
> swi-prolog does not seem to be available for RHEL/CentOS 7.
>
> Is there any specific reason fo that?

Not from the SWI-Prolog side :-) I don't know how these
distros work wrt. which packages are included and what version.
I'd advice to send them a mail. Even better, write an application
that every Linux distro wants to include :-)

As Boris says, compiling from source is easy. Packages are nice
if you want to base cloud images on Prolog though ...

Cheers --- Jan

>
> Thanks
>
> Olivier
>
> --
> 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>.

Anne Ogborn

unread,
Jan 8, 2015, 9:38:44 AM1/8/15
to Jan Wielemaker, olivier sallou, swi-p...@googlegroups.com
> Even better, write an application

that every Linux distro wants to include :-)


Sadly, it'd be distributed as a qsave

=8cO

Jan Wielemaker

unread,
Jan 8, 2015, 9:56:45 AM1/8/15
to Anne Ogborn, olivier sallou, swi-p...@googlegroups.com
Possibly, but that depends on the packager of this nice
application. The tradition in the Linux world, as opposed
to common practice in Windows and MacOS, is to make a
package dependency rather than include stuff from
the dependent package. If not giant, I would distribute
the application simply as a #!/usr/bin/swipl script. That
is what happens with most applications that are executed by
some virtual machine.

Cheers --- Jan


Reply all
Reply to author
Forward
0 new messages