From cfb0206fa8bf0d3bd5112f291148ac6a4573303b Mon Sep 17 00:00:00 2001 From: Michael Hanus Date: Wed, 16 Dec 2015 13:53:06 +0100 Subject: [PATCH] GIT URLs updated --- GITINSTALL.txt | 10 ++-------- LICENSE | 2 +- 2 files changed, 3 insertions(+), 9 deletions(-) diff --git a/GITINSTALL.txt b/GITINSTALL.txt index 4f08f70..4637bbb 100644 --- a/GITINSTALL.txt +++ b/GITINSTALL.txt @@ -6,10 +6,10 @@ Installation Instructions for the GIT Repository If you want to install the up-to-date version of PAKCS from the developer's repository, you have to clone the -[git repository](https://git-ps.informatik.uni-kiel.de/curry/pakcs), +[git repository](https://git.ps.informatik.uni-kiel.de/curry/pakcs), e.g., by the shell command - git clone git://git-ps.informatik.uni-kiel.de/curry/pakcs.git + git clone https://git.ps.informatik.uni-kiel.de/curry/pakcs.git This creates a new directory `pakcs` containing the current version. Go into this directory by @@ -29,12 +29,6 @@ Then, each future update can be obtained by the executing git pull git submodule update -If you install PAKCS for the first time, you need to install -some Haskell packages required by the front end via Cabal, -i.e., run the command - - make installhaskell - Now you can install the complete system by the command make diff --git a/LICENSE b/LICENSE index f347157..3c0b311 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ The PAKCS (Portland Aachen Kiel Curry System) License -Copyright (c) 2012, University of Kiel +Copyright (c) 2015, University of Kiel All rights reserved. Redistribution and use in source and binary forms, with or without -- GitLab