Debian/Ubuntu packages for PAKCS

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 26 Oct 2017 18:41:47 +0200

Dear Curry users,

as I announced a couple of months ago on this mailing list,
PAKCS (Version 1.14.2) is available as a package for
Ubuntu 17.04. Unfortunately, some libraries in this
official package are not pre-compiled so that one might
get compilation errors when one uses these specific libraries.

In the meantime, we started to provide our own packages
for Debian und Ubuntu of various PAKCS releases (also
a nightly build of PAKCS with type classes).
Hence, if you run Debian 9.x or Ubuntu 17.04
(or newer), you can install packages for PAKCS
from our server. Instructions can be found at

https://packages.ps.informatik.uni-kiel.de/curry/

For instance, if you want to install the latest version of PAKCS
on your Ubuntu 17.04 system, do the following steps:

1. Let APT trust our package server by executing

  $ wget -qO -
http://packages.ps.informatik.uni-kiel.de/curry/archive.key | sudo
apt-key add -

2. Add the line

deb http://packages.ps.informatik.uni-kiel.de/curry/debian-nightly zesty
main

to your system file /etc/apt/sources.list (look into the web
page above for alternative PAKCS releases).

3. Update your package information and install PAKCS by:

  $ sudo apt-get update
  $ sudo apt-get install pakcs

Have fun!

Michael
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Do Okt 26 2017 - 18:42:28 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:13 CEST