From 4cd955979ca1d418a60a2f1fe5a7c645d11fcc61 Mon Sep 17 00:00:00 2001
From: Austin Seipp <aseipp@pobox.com>
Date: Tue, 26 Jul 2022 12:49:27 -0500
Subject: [PATCH] bluespec: set mainProgram=bsc

Signed-off-by: Austin Seipp <aseipp@pobox.com>
---
 pkgs/development/compilers/bluespec/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/compilers/bluespec/default.nix b/pkgs/development/compilers/bluespec/default.nix
index ae28923871c0..d6accbdbf1fc 100644
--- a/pkgs/development/compilers/bluespec/default.nix
+++ b/pkgs/development/compilers/bluespec/default.nix
@@ -126,6 +126,7 @@ in stdenv.mkDerivation rec {
     homepage = "https://github.com/B-Lang-org/bsc";
     license = lib.licenses.bsd3;
     platforms = [ "x86_64-linux" ];
+    mainProgram = "bsc";
     # darwin fails at https://github.com/B-Lang-org/bsc/pull/35#issuecomment-583731562
     # aarch64 fails, as GHC fails with "ghc: could not execute: opt"
     maintainers = with lib.maintainers; [ jcumming thoughtpolice ];