From 6ee49d0c7479cf0eb766c4949e6b8ad7359cc254 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 9 Mar 2022 08:43:16 +0100
Subject: [PATCH] [ci] better psm2-frontend nix
---
nix/psmt2-frontend.nix | 15 +++++++--------
1 file changed, 7 insertions(+), 8 deletions(-)
diff --git a/nix/psmt2-frontend.nix b/nix/psmt2-frontend.nix
index f0502c4bc77..98836906d46 100644
--- a/nix/psmt2-frontend.nix
+++ b/nix/psmt2-frontend.nix
@@ -1,5 +1,5 @@
{ callPackage
-, fetchzip
+, fetchFromGitHub
, lib
, stdenv
, ocaml
@@ -13,11 +13,12 @@ stdenv.mkDerivation rec {
pname = "psmt2-frontend";
version = "0.1";
- src =
- fetchzip {
- url = "https://github.com/Coquera/psmt2-frontend/archive/0.1.zip";
- sha256 = "0k7jlsbkdyg7hafmvynp0ik8xk7mfr00wz27vxn4ncnmp20yz4vn";
- };
+ src = fetchFromGitHub {
+ owner = "Coquera";
+ repo = pname;
+ rev = version;
+ sha256 = "0k7jlsbkdyg7hafmvynp0ik8xk7mfr00wz27vxn4ncnmp20yz4vn";
+ };
nativeBuildInputs = [
autoreconfHook
@@ -38,8 +39,6 @@ stdenv.mkDerivation rec {
installFlags = "LIBDIR=$(OCAMLFIND_DESTDIR)";
- installTargets = [ "install" ];
-
meta = {
description = "A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language";
license = lib.licenses.asl20;
--
GitLab