Skip to content

Commit

Permalink
adding CI 24
Browse files Browse the repository at this point in the history
  • Loading branch information
moste00 committed Aug 23, 2024
1 parent 5ff896e commit 1b0461b
Show file tree
Hide file tree
Showing 3 changed files with 35 additions and 2 deletions.
1 change: 1 addition & 0 deletions .github/workflows/end2end-smoke-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,5 +18,6 @@ jobs:
- name: Running the generator
run: |
source ~/.bash_profile
opam install . --deps-only
rm *.gen.inc
dune exec --profile release -- riscv_disasm_from_sail -f bin/sail.filepaths.txt
4 changes: 2 additions & 2 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -5,11 +5,11 @@
(generate_opam_files true)

(source
(github username/reponame))
(github moste00/riscv_disasm_from_sail))

(authors "Mostafa Kamal")

(maintainers "Maintainer Name")
(maintainers "Mostafa Kamal")

(license LICENSE)

Expand Down
32 changes: 32 additions & 0 deletions riscv_disasm_from_sail.opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "A short synopsis"
description: "A longer description"
maintainer: ["Mostafa Kamal"]
authors: ["Mostafa Kamal"]
license: "LICENSE"
tags: ["topics" "to describe" "your" "project"]
homepage: "https://github.com/moste00/riscv_disasm_from_sail"
doc: "https://url/to/documentation"
bug-reports: "https://github.com/moste00/riscv_disasm_from_sail/issues"
depends: [
"ocaml"
"dune" {>= "3.15"}
"libsail" {= "0.17.1"}
"odoc" {with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/moste00/riscv_disasm_from_sail.git"

0 comments on commit 1b0461b

Please sign in to comment.