Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Updated for git

  • Loading branch information...
commit 3e13eb8857d29675b7dc1e22d60ea93184f3f251 1 parent 64f9c74
@spockz spockz authored
Showing with 5 additions and 3 deletions.
  1. +5 −3 index.md
View
8 index.md
@@ -76,11 +76,13 @@ Now build the UHC:
{% highlight bash linenos %}
$> cd somewhere
-$> svn co https://subversion.cs.uu.nl/repos/project.UHC.pub/branches/js/EHC ehc
-$> cd ehc
+$> git clone git://github.com/UU-ComputerScience/uhc.git
+$> cd uhc
+$> git checkout js
+$> cd EHC
$> autoconf
$> ./configure
-$> make -j8 101/ehc && make -j8 101/ehclib EHC_VARIANT_TARGET=js
+$> make uhc && make 101/ehclib EHC_VARIANT_TARGET=js
{% endhighlight %}
Optionally perform a `make install`.
Please sign in to comment.
Something went wrong with that request. Please try again.