Skip to content

Commit 44d2f89

Browse files
committed
Fix time in ledger only project
1 parent 91f4f54 commit 44d2f89

File tree

2 files changed

+12
-6
lines changed

2 files changed

+12
-6
lines changed

cabal-wasm-ledger-only.project

Lines changed: 10 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@ repository cardano-haskell-packages
1515
-- See CONTRIBUTING for information about these, including some Nix commands
1616
-- you need to run if you change them
1717
index-state:
18-
, hackage.haskell.org 2025-03-17T12:01:29Z
19-
, cardano-haskell-packages 2025-03-03T04:46:42Z
18+
, hackage.haskell.org 2025-04-08T10:52:25Z
19+
, cardano-haskell-packages 2025-04-22T08:40:01Z
2020

2121
packages:
2222
cardano-api-wasm-ledger-only
@@ -93,7 +93,7 @@ allow-older: cborg
9393
source-repository-package
9494
type: git
9595
location: https://github.com/IntersectMBO/plutus.git
96-
tag: f39fd52585ec724597839eb0f4bc7a2e72b1624b
96+
tag: 8c7945735c658c77e55b4f7d5320842c695cfda5
9797
subdir:
9898
plutus-core
9999
plutus-ledger-api
@@ -123,8 +123,14 @@ source-repository-package
123123
location: https://github.com/haskell-wasm/hs-memory.git
124124
tag: a198a76c584dc2cfdcde6b431968de92a5fed65e
125125

126+
allow-newer: time
127+
constraints: time >= 1.14
128+
126129
package digest
127130
flags: -pkg-config
128131

129132
package crypton
130-
ghc-options: -optc-DARGON2_NO_THREADS
133+
ghc-options: -optc-DARGON2_NO_THREADS
134+
135+
package time
136+
ghc-options: -Wno-deriving-typeable

scripts/enable_wasm_toolchain_ledger_only.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33

44
source $HOME/.ghc-wasm/env
55

6-
export CONF_CC_OPTS_STAGE2="$CONF_CC_OPTS_STAGE2 -D_WASI_EMULATED_MMAN"
7-
export CONF_GCC_LINKER_OPTS_STAGE2="$CONF_GCC_LINKER_OPTS_STAGE2 -lwasi-emulated-mman"
6+
# export CONF_CC_OPTS_STAGE2="$CONF_CC_OPTS_STAGE2 -D_WASI_EMULATED_MMAN"
7+
# export CONF_GCC_LINKER_OPTS_STAGE2="$CONF_GCC_LINKER_OPTS_STAGE2 -lwasi-emulated-mman"
88

99
# This should be able to build!
1010
# cabal build --project-file=cabal-wasm.project cardano-api-wasm --keep-going

0 commit comments

Comments
 (0)