From a8973c9b921e192ce90fc5de94bbdca7e3f4cf16 Mon Sep 17 00:00:00 2001 From: Emily Martins Date: Wed, 24 Aug 2022 18:29:32 +0200 Subject: [PATCH] infer system for `make ci` --- Makefile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index f3f0318..37c916a 100644 --- a/Makefile +++ b/Makefile @@ -99,6 +99,5 @@ build: requires_nix_shell cabal build -j$(THREADS) ci: - @ [[ "$$(uname -sm)" == "Linux x86_64" ]] \ - && (nix build .#check.x86_64-linux) \ - || (echo "CI only builds on Linux x86_64. Your system is $$(uname -sm). If you want to build it for your system, use 'nix build .#check.' instead." && false) + @ [[ "$$(uname -sm)" == "Linux x86_64" ]] || (echo "NOTE: CI only builds on Linux x86_64. Your system is $$(uname -sm), continuing...") + nix build .#check.$(shell nix eval -f '' system)