diff --git a/gitlab-pages/docs/intro/installation.md b/gitlab-pages/docs/intro/installation.md index 87abfdfe5..111c1c50a 100644 --- a/gitlab-pages/docs/intro/installation.md +++ b/gitlab-pages/docs/intro/installation.md @@ -40,20 +40,31 @@ curl https://gitlab.com/ligolang/ligo/raw/master/scripts/installer.sh | bash -s ligo --help ``` +## Static Linux binary + +We have built ligo executable statically. It should run on most modern Linux distributions. + +To use it, get it [here](/bin/linux/ligo), make it executable, you're done! + +```zsh +wget https://ligolang.org/bin/linux/ligo +chmod +x ./ligo +``` + +Optionally, you can put it somewhere in your `PATH` for easy access: + +```zsh +sudo cp ./ligo /usr/local/bin +``` ## Debian Linux package installation -We have produced .deb packages for a few Debian Linux versions. They will install a global `ligo` executable. -First download one of the packages below, and then install using: +We have produced .deb package with the static executable of ligo. +First download [the package](/deb/ligo.deb), and then install using: +```zsh +sudo apt install ./ligo.deb ``` -sudo apt install ./.deb -``` - -- [Ubuntu 18.04](/deb/ligo_ubuntu-18.04.deb) -- [Ubuntu 19.10](/deb/ligo_ubuntu-19.10.deb) -- [Debian 9](/deb/ligo_debian-9.deb) -- [Debian 10](/deb/ligo_debian-10.deb) ## Release schedule diff --git a/nix/ligo-website.nix b/nix/ligo-website.nix index 5e95e7b8c..336434e33 100644 --- a/nix/ligo-website.nix +++ b/nix/ligo-website.nix @@ -9,7 +9,7 @@ buildNpmPackage { ''; installPhase = '' cp -Lr build $out - cp -r ${ligo-deb}/* $out/deb + cp -r ${ligo-deb}/*.deb $out/deb/ligo.deb mkdir -p $out/bin/linux cp -r ${ligo-static}/bin/ligo $out/bin/linux/ligo cp -r ${ligo-doc}/share/doc $out/odoc