From 49de7c7113efbc8b828879a58ab477fef02b0ee8 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Wed, 31 Oct 2018 15:10:06 +0100 Subject: [PATCH] Fix build --- build.sh | 3 +++ db.hs | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) create mode 100755 build.sh diff --git a/build.sh b/build.sh new file mode 100755 index 000000000..991d2ff3c --- /dev/null +++ b/build.sh @@ -0,0 +1,3 @@ +#!/usr/bin/env bash + +exec -- stack build --fast --flag uniworx:library-only --flag uniworx:dev diff --git a/db.hs b/db.hs index e2d130fe7..d28038000 100755 --- a/db.hs +++ b/db.hs @@ -299,7 +299,7 @@ fillDb = do { sheetCourse = pmo , sheetName = "Blatt 1" , sheetDescription = Nothing - , sheetType = Normal 6 + , sheetType = Normal $ Points 6 , sheetGrouping = Arbitrary 3 , sheetMarkingText = Nothing , sheetVisibleFrom = Just now