From 2b550008bdde32096b0f21db567b3c31f7b22358 Mon Sep 17 00:00:00 2001 From: Lasse Blaauwbroek Date: Wed, 18 Dec 2024 18:11:52 +0800 Subject: [PATCH] Fix boot script by generating a makefile for examples/ghc/lib Note that the CI tests already do this correctly: https://github.com/plclub/hs-to-coq/blob/03e823972fc7c5f85a300e554c691563f89a3e5f/.github/workflows/hs-to-coq.yml#L182 --- examples/boot.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/examples/boot.sh b/examples/boot.sh index 88b33a6bd..1096d9fd7 100755 --- a/examples/boot.sh +++ b/examples/boot.sh @@ -139,6 +139,7 @@ coq make -C transformers coq #coq make -C transformers/theories no theories yet make -C ghc vfiles +(cd ghc/lib; coq coq_makefile -f _CoqProject -o Makefile) coq make -C ghc/lib (cd ghc/theories; coq coq_makefile -f _CoqProject -o Makefile) coq make -C ghc/theories