cvm/meta.yml at main · ku-sldg/cvm · GitHub

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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
---
# This file is used to configure the project metadata
fullname: CVM # This is a full name for the project
shortname: cvm # NOTE: This is the presumed REPOSITORY name
lib_name: CVM # NOTE: This is the name of the library that will be used in the Coq code
opam_name: rocq-cvm # i.e. coq-Base64
synopsis: "The Copland Virtual Machine (CVM)"
description: "The Copland Virtual Machine (CVM) is a Rocq library that formalizes a virtual machine for the Copland Domain Specific Language for layered remote attestation."
authors:
  - name: "Will Thomas"
    email: "30wthomas@ku.edu"
opam-file-maintainer: "30wthomas@ku.edu" # Need a strong default here or we will accidentally email a Coq developer
opam-file-version: "0.6.0"

######################################################
# NOTE: Optional Extra Info
######################################################
# categories:
#   - name: "<Category>"

# keywords:
#   - name: "<Keyword1>"
#   - name: "<Keyword2>"

dependencies:
  - description: "[RocqCandy](https://github.com/ku-sldg/rocq-candy)"
    opam:
      name: "rocq-candy"
      version: '{ >= "0.6.0" }'
      lib_name: "RocqCandy"
  - description: "[Copland Spec](https://github.com/ku-sldg/copland-spec)"
    opam:
      name: "rocq-copland-spec"
      version: '{ >= "0.6.0" }'
      lib_name: "CoplandSpec"
  - description: "[CoplandManifestTools](https://github.com/ku-sldg/copland-manifest-tools)"
    opam:
      name: "rocq-copland-manifest-tools"
      version: '{ >= "0.6.0" }'
      lib_name: "CoplandManifestTools"
  - description: "[EasyBakeCakeML](https://github.com/Durbatuluk1701/EasyBakeCakeML)"
    opam:
      name: "rocq-EasyBakeCakeML"
      version: '{ >= "0.5.0" }'
      lib_name: "EasyBakeCakeML"
  - description: "[Bake](https://github.com/Durbatuluk1701/bake)"
    opam:
      name: "bake"
      version: '{ >= "1.4.0" }'
  - description: "[RocqLogging](https://github.com/ku-sldg/rocq-logging)"
    opam:
      name: "rocq-logging"
      version: '{ >= "0.1.2" }'
      lib_name: "RocqLogging"
  - description: "[conf-zmq](https://opam.ocaml.org/packages/conf-zmq/)"
    opam:
      name: "conf-zmq"
      version: '{ >= "0.1" }'
coq_trans_deps_workaround: true # Default false if we dont need libraries with transitive dependencies, but if we do, then we need to set this to true
# This is due to https://github.com/ocaml/dune/issues/11483

ci_extra_repos:
  - description: "KU-SLDG Packages"
    name: "ku-sldg/opam-repo"
    url: "https://github.com/ku-sldg/opam-repo.git"

# dependencies:
#   - description: '[Parsec](https://github.com/liyishuai/coq-parsec)'
#     opam:
#       name: coq-parsec
#       version: '{ >= "0.2.0" }'
#   - description: '[Menhir](http://gallium.inria.fr/~fpottier/menhir/)'
#     opam:
#       name: menhir
#       version: '{ >= "20220210" }'
#   - description: "[MenhirLib]\
#                   (https://gitlab.inria.fr/fpottier/menhir/-/tree/master/coq-menhirlib/)"
#     opam:
#       name: coq-menhirlib
#       version: '{ >= "20220210" }'

######################################################
# NOTE: Stuff below this line you should not need to change
# other than on occassion the `config options`
######################################################
# NOTE: check out https://github.com/coq-community/templates/blob/master/ref.yml for more possible values

branch: main
organization: ku-sldg

# Config Options
community: false # By default projects are not part of coq-community
coqdoc: false # By default we want coqdoc
submodule: false # By default we don't want submodules
dune: true # By default we want dune builds
ocaml_plugin: false # By default we don't assume plugins to use ocaml code
# date: # by default we arent setting a date

# CI services - we only want GH Actions by default
# NOTE: You should not need to change these usually!
travis: false
action: true
circleci: false
nix: false
ci_test_dependants: false
ci_extra_dev: false
ci_cron_schedule: 0 0 * * 0 # Weekly at midnight sunday
tested_rocq_opam_versions:
  - version: "9.0"
  # - version: "9.0"
  #   repo: "rocq/rocq-prover"

## UNKNOWN: action_appendix:

# Extra Metadata
# doi:
# chat: # if we ever have a chat room?
license:
  - fullname: Creative Commons Attribution Share Alike 4.0 International
    identifier: CC-BY-SA-4.0
    file: LICENSE
supported_coq_versions:
  - text: "9.0.1"
    opam: '{ = "9.0.1" }'
supported_ocaml_versions:
  - text: "4.12 or later"
    opam: '{ >= "4.12~" }'