Guix-prolog

Channel for prolog packages, for now it contains the definitions needed to build scryer-prolog v0.9.1

Installation

Guix-prolog can be installed as a Guix channel.

To do so, add it to ~/.config/guix/channels.scm:

(cons* (channel
	  (name 'guix-prolog)
	  (url "https://github.com/tieong/guix-prolog")
	  ;; Enable signature verification:
	  (introduction
	   (make-channel-introduction
	    "32f667b1742a33e62866f16e39fce60b252c4802"
	    (openpgp-fingerprint
	     "F4FA E402 DD26 78FA 9A38  6045 12BC 8DFE 27C1 41DC"))))
	 %default-channels)

Then run guix pull.

To install scryer-prolog run:

guix install scryer-prolog

Channels

As of 16/04/2023, Scryer Prolog has been tested on the following channels:

 (list (channel
	 (name 'guix-prolog)
	 (url "https://github.com/tieong/guix-prolog")
	 (branch "master")
	 (commit
	  "4933b2d1741acd50902b96d6a905097cff98d662")
	 (introduction
	  (make-channel-introduction
	   "32f667b1742a33e62866f16e39fce60b252c4802"
	   (openpgp-fingerprint
	    "F4FA E402 DD26 78FA 9A38  6045 12BC 8DFE 27C1 41DC"))))
	(channel
	 (name 'guix)
	 (url "https://git.savannah.gnu.org/git/guix.git")
	 (branch "master")
	 (commit
	  "2d25ea429c359d14955ee44baeeb5778cc56cc7d")
	 (introduction
	  (make-channel-introduction
	   "9edb3f66fd807b096b48283debdcddccfea34bad"
	   (openpgp-fingerprint
	    "BBB0 2DDF 2CEA F6A8 0D1D  E643 A2A0 6DF2 A33A 54FA")))))

Build Scryer Prolog with cargo

To build and install Scryer with cargo in a Guix shell/Guix system:

mkdir ~/temphome

guix shell bash curl nss-certs gcc:lib gcc-toolchain  \
     openssl pkg-config git sed gawk make grep \
     gcc-toolchain zlib coreutils diffutils m4 \
     findutils \
     --network \
     --container \
     --emulate-fhs \
     --share=$HOME/temphome=$HOME

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

# Then git clone scryer or other rust projects there

See this post about the guix filesystem hierarchy