From 6175329bf2ce184faf87ca6db69e0310c30d765d Mon Sep 17 00:00:00 2001 From: Jason Shipman Date: Sun, 15 Oct 2023 14:15:23 -0400 Subject: [PATCH] Use executable name that differs from package name Details are captured in this issue: --- default.hsfiles | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default.hsfiles b/default.hsfiles index c0adf9f..5073391 100644 --- a/default.hsfiles +++ b/default.hsfiles @@ -68,7 +68,7 @@ benchmarks: - -with-rtsopts=-N executables: - {{ name }}: + {{ name }}-demo: source-dirs: executable main: Main.hs dependencies: