From 7f3a662cbc8acbf9ccf0c52a8863be6b9d30599f Mon Sep 17 00:00:00 2001 From: Kirill Kuvshinov Date: Wed, 26 Aug 2020 13:13:27 +0000 Subject: [PATCH] Add nix expressions for building a static musl executable --- tools/lsp/squirrel/default.nix | 7 ++ tools/lsp/squirrel/nix/sources.json | 26 ++++++ tools/lsp/squirrel/nix/sources.nix | 134 ++++++++++++++++++++++++++++ tools/lsp/squirrel/squirrel.nix | 22 +++++ 4 files changed, 189 insertions(+) create mode 100644 tools/lsp/squirrel/default.nix create mode 100644 tools/lsp/squirrel/nix/sources.json create mode 100644 tools/lsp/squirrel/nix/sources.nix create mode 100644 tools/lsp/squirrel/squirrel.nix diff --git a/tools/lsp/squirrel/default.nix b/tools/lsp/squirrel/default.nix new file mode 100644 index 000000000..54216a1d4 --- /dev/null +++ b/tools/lsp/squirrel/default.nix @@ -0,0 +1,7 @@ +# SPDX-FileCopyrightText: 2019 Serokell +# +# SPDX-License-Identifier: MPL-2.0 + +{ platform ? "linux-static" }: + +(import ./squirrel.nix { ${platform} = true; }).components.exes.squirrel diff --git a/tools/lsp/squirrel/nix/sources.json b/tools/lsp/squirrel/nix/sources.json new file mode 100644 index 000000000..2c2c6d0da --- /dev/null +++ b/tools/lsp/squirrel/nix/sources.json @@ -0,0 +1,26 @@ +{ + "haskell.nix": { + "branch": "master", + "description": "Alternative Haskell Infrastructure for Nixpkgs", + "homepage": "https://input-output-hk.github.io/haskell.nix", + "owner": "input-output-hk", + "repo": "haskell.nix", + "rev": "db409cf3a0b10a7309a8102bb6a00d8870b9c67e", + "sha256": "0j4grhzfrd966cwni9glycdjivzmb45dga4hqhwniajc6kdyj0h4", + "type": "tarball", + "url": "https://github.com/input-output-hk/haskell.nix/archive/db409cf3a0b10a7309a8102bb6a00d8870b9c67e.tar.gz", + "url_template": "https://github.com///archive/.tar.gz" + }, + "nixpkgs": { + "branch": "nixos-19.09", + "description": "A read-only mirror of NixOS/nixpkgs tracking the released channels. Send issues and PRs to", + "homepage": "https://github.com/NixOS/nixpkgs", + "owner": "NixOS", + "repo": "nixpkgs-channels", + "rev": "bf7c0f0461e047bec108a5c5d5d1b144289a65ba", + "sha256": "01dsh9932x6xcba2p0xg4n563b85i3p7s2sakj7yf2ws8pgmwhq9", + "type": "tarball", + "url": "https://github.com/NixOS/nixpkgs-channels/archive/bf7c0f0461e047bec108a5c5d5d1b144289a65ba.tar.gz", + "url_template": "https://github.com///archive/.tar.gz" + } +} diff --git a/tools/lsp/squirrel/nix/sources.nix b/tools/lsp/squirrel/nix/sources.nix new file mode 100644 index 000000000..8a725cb4e --- /dev/null +++ b/tools/lsp/squirrel/nix/sources.nix @@ -0,0 +1,134 @@ +# This file has been generated by Niv. + +let + + # + # The fetchers. fetch_ fetches specs of type . + # + + fetch_file = pkgs: spec: + if spec.builtin or true then + builtins_fetchurl { inherit (spec) url sha256; } + else + pkgs.fetchurl { inherit (spec) url sha256; }; + + fetch_tarball = pkgs: spec: + if spec.builtin or true then + builtins_fetchTarball { inherit (spec) url sha256; } + else + pkgs.fetchzip { inherit (spec) url sha256; }; + + fetch_git = spec: + builtins.fetchGit { url = spec.repo; inherit (spec) rev ref; }; + + fetch_builtin-tarball = spec: + builtins.trace + '' + WARNING: + The niv type "builtin-tarball" will soon be deprecated. You should + instead use `builtin = true`. + + $ niv modify -a type=tarball -a builtin=true + '' + builtins_fetchTarball { inherit (spec) url sha256; }; + + fetch_builtin-url = spec: + builtins.trace + '' + WARNING: + The niv type "builtin-url" will soon be deprecated. You should + instead use `builtin = true`. + + $ niv modify -a type=file -a builtin=true + '' + (builtins_fetchurl { inherit (spec) url sha256; }); + + # + # Various helpers + # + + # The set of packages used when specs are fetched using non-builtins. + mkPkgs = sources: + let + sourcesNixpkgs = + import (builtins_fetchTarball { inherit (sources.nixpkgs) url sha256; }) {}; + hasNixpkgsPath = builtins.any (x: x.prefix == "nixpkgs") builtins.nixPath; + hasThisAsNixpkgsPath = == ./.; + in + if builtins.hasAttr "nixpkgs" sources + then sourcesNixpkgs + else if hasNixpkgsPath && ! hasThisAsNixpkgsPath then + import {} + else + abort + '' + Please specify either (through -I or NIX_PATH=nixpkgs=...) or + add a package called "nixpkgs" to your sources.json. + ''; + + # The actual fetching function. + fetch = pkgs: name: spec: + + if ! builtins.hasAttr "type" spec then + abort "ERROR: niv spec ${name} does not have a 'type' attribute" + else if spec.type == "file" then fetch_file pkgs spec + else if spec.type == "tarball" then fetch_tarball pkgs spec + else if spec.type == "git" then fetch_git spec + else if spec.type == "builtin-tarball" then fetch_builtin-tarball spec + else if spec.type == "builtin-url" then fetch_builtin-url spec + else + abort "ERROR: niv spec ${name} has unknown type ${builtins.toJSON spec.type}"; + + # Ports of functions for older nix versions + + # a Nix version of mapAttrs if the built-in doesn't exist + mapAttrs = builtins.mapAttrs or ( + f: set: with builtins; + listToAttrs (map (attr: { name = attr; value = f attr set.${attr}; }) (attrNames set)) + ); + + # fetchTarball version that is compatible between all the versions of Nix + builtins_fetchTarball = { url, sha256 }@attrs: + let + inherit (builtins) lessThan nixVersion fetchTarball; + in + if lessThan nixVersion "1.12" then + fetchTarball { inherit url; } + else + fetchTarball attrs; + + # fetchurl version that is compatible between all the versions of Nix + builtins_fetchurl = { url, sha256 }@attrs: + let + inherit (builtins) lessThan nixVersion fetchurl; + in + if lessThan nixVersion "1.12" then + fetchurl { inherit url; } + else + fetchurl attrs; + + # Create the final "sources" from the config + mkSources = config: + mapAttrs ( + name: spec: + if builtins.hasAttr "outPath" spec + then abort + "The values in sources.json should not have an 'outPath' attribute" + else + spec // { outPath = fetch config.pkgs name spec; } + ) config.sources; + + # The "config" used by the fetchers + mkConfig = + { sourcesFile ? ./sources.json + , sources ? builtins.fromJSON (builtins.readFile sourcesFile) + , pkgs ? mkPkgs sources + }: rec { + # The sources, i.e. the attribute set of spec name to spec + inherit sources; + + # The "pkgs" (evaluated nixpkgs) to use for e.g. non-builtin fetchers + inherit pkgs; + }; +in +mkSources (mkConfig {}) // { __functor = _: settings: mkSources (mkConfig settings); } diff --git a/tools/lsp/squirrel/squirrel.nix b/tools/lsp/squirrel/squirrel.nix new file mode 100644 index 000000000..c66481ca7 --- /dev/null +++ b/tools/lsp/squirrel/squirrel.nix @@ -0,0 +1,22 @@ +# SPDX-FileCopyrightText: 2020 Serokell +# +# SPDX-License-Identifier: MPL-2.0 + +{ linux ? false, linux-static ? false, windows ? false }: +let + sources = import ./nix/sources.nix; + nixpkgs = import sources.nixpkgs (import sources."haskell.nix" {}).nixpkgsArgs; + pkgs = if linux-static then nixpkgs.pkgsCross.musl64 else if windows then nixpkgs.pkgsCross.mingwW64 else nixpkgs; + project = pkgs.haskell-nix.stackProject { + src = pkgs.haskell-nix.haskellLib.cleanGit { src = ./.; }; + modules = [{ + packages.ligo-squirrel = { + configureFlags = with pkgs; + lib.optionals linux-static [ + "--ghc-option=-optl=-L${zlib.static}/lib" + "--ghc-option=-optl=-L${nixpkgs.pkgsStatic.numactl}/lib" + ]; + }; + }]; + }; +in project.ligo-squirrel