forked from cryspen/hacl-packages
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathopam.sh
More file actions
executable file
·27 lines (21 loc) · 748 Bytes
/
opam.sh
File metadata and controls
executable file
·27 lines (21 loc) · 748 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
#! /bin/sh
set -e
rm -rf opam
mkdir -p opam/hacl-star-raw/build
cp -r config opam/hacl-star-raw
mv opam/hacl-star-raw/config/default_config.cmake opam/hacl-star-raw/build/config.cmake
mkdir opam/hacl-star-raw/src
cp src/* opam/hacl-star-raw/src/ | true
mkdir opam/hacl-star-raw/include
cp include/* opam/hacl-star-raw/include/ | true
cp -r include/internal opam/hacl-star-raw/include/internal
cp -r vale opam/hacl-star-raw
cp -r karamel opam/hacl-star-raw
cp CMakeLists.txt opam/hacl-star-raw
cp -r ocaml/lib opam/hacl-star-raw
cp -r ocaml/lib_gen opam/hacl-star-raw
cp ocaml/Makefile opam/hacl-star-raw
cp ocaml/ctypes.depend opam/hacl-star-raw
cp ocaml/META opam/hacl-star-raw
cp ocaml/hacl-star-raw.opam opam
cp -r ocaml/hacl-star/* opam/