Skip to content

Commit 825d9a3

Browse files
committed
Revert "bindings/scripts: remove unused prepare-dune-build.sh"
This reverts commit 9a2c4d7.
1 parent 9a2c4d7 commit 825d9a3

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
#!/usr/bin/env bash
2+
3+
# use this script before you can run `dune build <something>`
4+
5+
set -e
6+
7+
MINA_PATH="src/mina"
8+
9+
# Copy mina config files, that is necessary for o1js to build
10+
dune b "${MINA_PATH}"/src/config.mlh && \
11+
cp "${MINA_PATH}"/src/config.mlh src && \
12+
cp -r "${MINA_PATH}"/src/config src/config

0 commit comments

Comments
 (0)