diff options
author | Alyssa Ross <hi@alyssa.is> | 2024-03-24 11:04:41 +0100 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2024-03-24 11:04:41 +0100 |
commit | 5423cabbbf2b6dec5568f1ecabd288d5d9a642ec (patch) | |
tree | f316a6a921bfefd3a63bd4502c2eb50ff1644f67 /nixpkgs/pkgs/development/compilers/ligo/default.nix | |
parent | 46a88117a05c3469af5d99433af140c3de8ca088 (diff) | |
parent | 8aa81f34981add12aecada6c702ddbbd0375ca36 (diff) | |
download | nixlib-5423cabbbf2b6dec5568f1ecabd288d5d9a642ec.tar nixlib-5423cabbbf2b6dec5568f1ecabd288d5d9a642ec.tar.gz nixlib-5423cabbbf2b6dec5568f1ecabd288d5d9a642ec.tar.bz2 nixlib-5423cabbbf2b6dec5568f1ecabd288d5d9a642ec.tar.lz nixlib-5423cabbbf2b6dec5568f1ecabd288d5d9a642ec.tar.xz nixlib-5423cabbbf2b6dec5568f1ecabd288d5d9a642ec.tar.zst nixlib-5423cabbbf2b6dec5568f1ecabd288d5d9a642ec.zip |
Merge branch 'nixos-unstable-small' of https://github.com/NixOS/nixpkgs
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/ligo/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/ligo/default.nix | 21 |
1 files changed, 4 insertions, 17 deletions
diff --git a/nixpkgs/pkgs/development/compilers/ligo/default.nix b/nixpkgs/pkgs/development/compilers/ligo/default.nix index ccba9ca3a1b2..9443f7a8cc08 100644 --- a/nixpkgs/pkgs/development/compilers/ligo/default.nix +++ b/nixpkgs/pkgs/development/compilers/ligo/default.nix @@ -15,30 +15,15 @@ ocamlPackages.buildDunePackage rec { pname = "ligo"; - version = "1.0.0"; + version = "1.4.0"; src = fetchFromGitLab { owner = "ligolang"; repo = "ligo"; rev = version; - sha256 = "sha256-tHIIA1JE7mzDIf2v9IEZt1pjVQEA89zjTsmqhzTn3Wc="; + sha256 = "sha256-N2RkeKJ+lEyNJwpmF5sORmOkDhNmTYRYAgvyR7Pc5EI="; fetchSubmodules = true; }; - postPatch = '' - substituteInPlace "vendors/tezos-ligo/dune-project" \ - --replace \ - "(using ctypes 0.1)" \ - "(using ctypes 0.3)" \ - --replace \ - "(lang dune 3.0)" \ - "(lang dune 3.7)" - - substituteInPlace "src/coq/dune" \ - --replace \ - "(name ligo_coq)" \ - "(name ligo_coq)(mode vo)" - ''; - # The build picks this up for ligo --version LIGO_VERSION = version; @@ -68,6 +53,7 @@ ocamlPackages.buildDunePackage rec { ocamlgraph bisect_ppx decompress + fileutils ppx_deriving ppx_deriving_yojson ppx_yojson_conv @@ -141,6 +127,7 @@ ocamlPackages.buildDunePackage rec { homepage = "https://ligolang.org/"; downloadPage = "https://ligolang.org/docs/intro/installation"; description = "A friendly Smart Contract Language for Tezos"; + mainProgram = "ligo"; license = licenses.mit; platforms = ocamlPackages.ocaml.meta.platforms; broken = stdenv.isLinux && stdenv.isAarch64; |