mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-06-10 03:23:29 +03:00
ligo: remove at 1.7.1 (#413445)
This commit is contained in:
Ulrik Strid
GitHub
commit
c7a2efa407
5 changed files with 2 additions and 229 deletions
|
|
@ -1,68 +0,0 @@
|
|||
{
|
||||
lib,
|
||||
fetchFromGitLab,
|
||||
stdenv,
|
||||
llvmPackages,
|
||||
cargo,
|
||||
libiconv,
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
version = "1.5";
|
||||
pname = "tezos-rust-libs";
|
||||
src = fetchFromGitLab {
|
||||
owner = "tezos";
|
||||
repo = "tezos-rust-libs";
|
||||
rev = "v${version}";
|
||||
hash = "sha256-SuCqDZDXmWdGI/GN+3nYcUk66jnW5FQQaeTB76/rvaw=";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [
|
||||
llvmPackages.llvm
|
||||
cargo
|
||||
];
|
||||
propagatedBuildInputs = [ llvmPackages.libllvm ];
|
||||
buildInputs = lib.optionals stdenv.hostPlatform.isDarwin [ libiconv ];
|
||||
|
||||
buildPhase = ''
|
||||
runHook preBuild
|
||||
|
||||
cargo build \
|
||||
--target-dir target-librustzcash \
|
||||
--package librustzcash \
|
||||
--release
|
||||
|
||||
cargo build \
|
||||
--target-dir target-wasmer \
|
||||
--package wasmer-c-api \
|
||||
--no-default-features \
|
||||
--features singlepass,cranelift,wat,middlewares,universal \
|
||||
--release
|
||||
|
||||
runHook postBuild
|
||||
'';
|
||||
|
||||
installPhase = ''
|
||||
runHook preInstall
|
||||
|
||||
mkdir -p $out/lib/tezos-rust-libs/rust
|
||||
cp "librustzcash/include/librustzcash.h" \
|
||||
"target-librustzcash/release/librustzcash.a" \
|
||||
"wasmer-2.3.0/lib/c-api/wasm.h" \
|
||||
"wasmer-2.3.0/lib/c-api/wasmer.h" \
|
||||
"target-wasmer/release/libwasmer.a" \
|
||||
"$out/lib/tezos-rust-libs"
|
||||
cp -r "librustzcash/include/rust" "$out/lib/tezos-rust-libs"
|
||||
|
||||
runHook postInstall
|
||||
'';
|
||||
|
||||
cargoVendorDir = "./vendor";
|
||||
|
||||
meta = {
|
||||
homepage = "https://gitlab.com/tezos/tezos-rust-libs";
|
||||
description = "Tezos: all rust dependencies and their dependencies";
|
||||
license = lib.licenses.mit;
|
||||
maintainers = [ lib.maintainers.ulrikstrid ];
|
||||
};
|
||||
}
|
||||
|
|
@ -1,133 +0,0 @@
|
|||
{
|
||||
lib,
|
||||
fetchFromGitLab,
|
||||
git,
|
||||
coq,
|
||||
ocamlPackages,
|
||||
cacert,
|
||||
ocaml-crunch,
|
||||
jq,
|
||||
mustache-go,
|
||||
yaml2json,
|
||||
tezos-rust-libs,
|
||||
}:
|
||||
|
||||
ocamlPackages.buildDunePackage rec {
|
||||
pname = "ligo";
|
||||
version = "1.7.1";
|
||||
src = fetchFromGitLab {
|
||||
owner = "ligolang";
|
||||
repo = "ligo";
|
||||
rev = version;
|
||||
hash = "sha256-pBoLgS/9MLMrc98niI+o2JoJ3gpvhyRY2o9GmVc5hIA=";
|
||||
fetchSubmodules = true;
|
||||
};
|
||||
|
||||
patches = [ ./make-compatible-with-linol-0_6.patch ];
|
||||
|
||||
# The build picks this up for ligo --version
|
||||
LIGO_VERSION = version;
|
||||
|
||||
# This is a hack to work around the hack used in the dune files
|
||||
OPAM_SWITCH_PREFIX = "${tezos-rust-libs}";
|
||||
|
||||
nativeBuildInputs = [
|
||||
ocaml-crunch
|
||||
git
|
||||
coq
|
||||
ocamlPackages.crunch
|
||||
ocamlPackages.menhir
|
||||
ocamlPackages.ocaml-recovery-parser
|
||||
# deps for changelog
|
||||
jq
|
||||
mustache-go
|
||||
yaml2json
|
||||
];
|
||||
|
||||
buildInputs = with ocamlPackages; [
|
||||
coq
|
||||
menhir
|
||||
menhirLib
|
||||
qcheck
|
||||
ocamlgraph
|
||||
bisect_ppx
|
||||
decompress
|
||||
fileutils
|
||||
ppx_deriving
|
||||
ppx_deriving_yojson
|
||||
ppx_yojson_conv
|
||||
ppx_expect
|
||||
ppx_import
|
||||
terminal_size
|
||||
ocaml-recovery-parser
|
||||
yojson
|
||||
getopt
|
||||
core
|
||||
core_unix
|
||||
pprint
|
||||
linenoise
|
||||
crunch
|
||||
semver
|
||||
lambda-term
|
||||
tar-unix
|
||||
parse-argv
|
||||
hacl-star
|
||||
prometheus
|
||||
lwt_ppx
|
||||
msgpck
|
||||
# lsp
|
||||
linol
|
||||
linol-lwt
|
||||
ocaml-lsp
|
||||
# Test helpers deps
|
||||
qcheck
|
||||
qcheck-alcotest
|
||||
alcotest-lwt
|
||||
# vendored tezos' deps
|
||||
aches
|
||||
aches-lwt
|
||||
ctypes
|
||||
ctypes_stubs_js
|
||||
class_group_vdf
|
||||
dune-configurator
|
||||
hacl-star
|
||||
hacl-star-raw
|
||||
lwt-canceler
|
||||
ipaddr
|
||||
bls12-381
|
||||
bls12-381-signature
|
||||
ptime
|
||||
mtime
|
||||
lwt_log
|
||||
secp256k1-internal
|
||||
resto
|
||||
resto-directory
|
||||
resto-cohttp-self-serving-client
|
||||
irmin-pack
|
||||
ezjsonm
|
||||
data-encoding
|
||||
pure-splitmix
|
||||
zarith_stubs_js
|
||||
simple-diff
|
||||
seqes
|
||||
stdint
|
||||
tezt
|
||||
];
|
||||
|
||||
nativeCheckInputs = [
|
||||
cacert
|
||||
ocamlPackages.ca-certs
|
||||
];
|
||||
|
||||
doCheck = false; # Tests fail, but could not determine the reason
|
||||
|
||||
meta = with lib; {
|
||||
homepage = "https://ligolang.org/";
|
||||
downloadPage = "https://ligolang.org/docs/intro/installation";
|
||||
description = "Friendly Smart Contract Language for Tezos";
|
||||
mainProgram = "ligo";
|
||||
license = licenses.mit;
|
||||
platforms = ocamlPackages.ocaml.meta.platforms;
|
||||
maintainers = with maintainers; [ ulrikstrid ];
|
||||
};
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
diff --git a/src/bin/cli.ml b/src/bin/cli.ml
|
||||
index 36ee98cbec..960bfc85a0 100644
|
||||
--- a/src/bin/cli.ml
|
||||
+++ b/src/bin/cli.ml
|
||||
@@ -3537,7 +3537,7 @@ module Lsp_server = struct
|
||||
~session_id
|
||||
~skip_analytics
|
||||
in
|
||||
- let server = Linol_lwt.Jsonrpc2.create_stdio (s :> Linol_lwt.Jsonrpc2.server) in
|
||||
+ let server = Linol_lwt.Jsonrpc2.create_stdio ~env:() (s :> Linol_lwt.Jsonrpc2.server) in
|
||||
let shutdown () = Poly.(s#get_status = `ReceivedExit) in
|
||||
let task = Linol_lwt.Jsonrpc2.run ~shutdown server in
|
||||
let analytics_job =
|
||||
|
|
@ -1051,6 +1051,7 @@ mapAliases {
|
|||
licensor = throw "'licensor' has been removed due to lack of upstream maintenance"; # Added 2025-01-25
|
||||
lightdm_gtk_greeter = lightdm-gtk-greeter; # Added 2022-08-01
|
||||
lightstep-tracer-cpp = throw "lightstep-tracer-cpp is deprecated since 2022-08-29; the upstream recommends migration to opentelemetry projects.";
|
||||
ligo = throw "ligo has been removed from nixpkgs for lack of maintainance"; # Added 2025-06-03
|
||||
lima-bin = lib.warnOnInstantiate "lima-bin has been replaced by lima" lima; # Added 2025-05-13
|
||||
lime3ds = throw "lime3ds is deprecated, use 'azahar' instead."; # Added 2025-03-22
|
||||
limesctl = throw "limesctl has been removed because it is insignificant."; # Added 2024-11-25
|
||||
|
|
@ -1889,6 +1890,7 @@ mapAliases {
|
|||
tepl = libgedit-tepl; # Added 2024-04-29
|
||||
termplay = throw "'termplay' has been removed due to lack of maintenance upstream"; # Added 2025-01-25
|
||||
testVersion = testers.testVersion; # Added 2022-04-20
|
||||
tezos-rust-libs = ligo; # Added 2025-06-03
|
||||
tfplugindocs = terraform-plugin-docs; # Added 2023-11-01
|
||||
thiefmd = throw "'thiefmd' has been removed due to lack of maintenance upstream and incompatible with newer Pandoc. Please use 'apostrophe' or 'folio' instead"; # Added 2025-02-20
|
||||
thefuck = throw "'thefuck' has been removed due to lack of maintenance upstream and incompatible with python 3.12+. Consider using 'pay-respects' instead"; # Added 2025-05-30
|
||||
|
|
|
|||
|
|
@ -3486,21 +3486,6 @@ with pkgs;
|
|||
|
||||
ksmoothdock = libsForQt5.callPackage ../applications/misc/ksmoothdock { };
|
||||
|
||||
ligo =
|
||||
let
|
||||
ocaml_p = ocaml-ng.ocamlPackages_4_14.overrideScope (
|
||||
self: super: {
|
||||
zarith = super.zarith.override { version = "1.13"; };
|
||||
}
|
||||
);
|
||||
in
|
||||
callPackage ../development/compilers/ligo {
|
||||
coq = coq_8_13.override {
|
||||
customOCamlPackages = ocaml_p;
|
||||
};
|
||||
ocamlPackages = ocaml_p;
|
||||
};
|
||||
|
||||
leocad = callPackage ../applications/graphics/leocad { };
|
||||
|
||||
libcoap = callPackage ../applications/networking/libcoap {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue