Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions .github/workflows/haskell.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,10 @@ jobs:
steps:
- uses: actions/checkout@v4

- uses: awalsh128/cache-apt-pkgs-action@v1.6.0
with:
packages: libpcre3-dev

- name: Cache Stack
id: cache-stack-unix
uses: actions/cache@v4
Expand Down
1 change: 0 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,6 @@ First, follow the usual Student workflow:

Now to simulate the grading process:

1. Install the z3 theorem prover (`sudo apt-get install libz3-dev` or similar)
1. Install [Haskell Stack](https://docs.haskellstack.org/en/stable/#__tabbed_2_1)
1. Optionally set an alias for `stack run -w run.yaml`
1. Execute `stack run -w run.yaml <task name> <[submission|solution]>` (`solution` loads a sample solution)
Expand Down
1 change: 1 addition & 0 deletions run-codeworld-tasks/app/Main.hs
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,7 @@ runTemplateTask :: String -> String -> IO ()
runTemplateTask task submission = do
tmp <- getTemporaryDirectory
grade
id
id
rejection
suggestion
Expand Down
1 change: 0 additions & 1 deletion run-codeworld-tasks/package.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -45,4 +45,3 @@ executables:
# used for run-time compilation dependencies
- haskell-template-task-raw
- codeworld-tasks
- IOTasks
3 changes: 1 addition & 2 deletions run-codeworld-tasks/run-codeworld-tasks.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -29,8 +29,7 @@ executable test-task
app
ghc-options: -Wall -Werror -Wcompat -Widentities -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N
build-depends:
IOTasks
, QuickCheck
QuickCheck
, base >=4.11 && <5
, codeworld-tasks
, directory
Expand Down
14 changes: 5 additions & 9 deletions run.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -6,17 +6,13 @@ packages:
- run-codeworld-tasks

extra-deps:
- git: https://github.com/fmidue/IOTasks
commit: 659385853299b4fcb27bd26e7ab185af27a9d00a
- git: https://github.com/IagoAbal/haskell-z3
commit: b77a17e5eeb7db82656bcbcd66c6e952207e69ca
- git: https://github.com/owestphal/type-match
commit: e1afab43d2e8bfa5e2006492ed34060036e7be51
- git: https://github.com/fmidue/haskell-template-task
commit: 81278a30d63449879c39f403a2cad108ab0785ec
commit: d2f18e228d90f5828aa55d6649448c7eda12c2b7
subdirs:
- .
- raw
- hint-0.9.0.8
# later versions incompatible with current IO-Tasks
- QuickCheck-2.15.0.1

flags:
haskell-template-task-raw:
iotasks: false
Loading