-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
38 lines (37 loc) · 1.49 KB
/
opam
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
opam-version: "2.0"
maintainer: "Christian Lindig <lindig@gmail.com>"
authors: "Christian Lindig <lindig@gmail.com>"
homepage: "https://github.com/lindig/quest"
bug-reports: "https://github.com/lindig/quest/issues"
license: "BSD-3-Clause"
dev-repo: "git+https://github.com/lindig/quest.git"
build: [
[make]
]
install: [make "PREFIX=%{prefix}%" "install"]
remove: [make "PREFIX=%{prefix}%" "remove"]
depends: [
"ocaml" {>= "4.01.0" & < "5.0.0"}
"lipsum"
]
synopsis:
"quest - generates C code for testing a C compiler's calling convention"
description: """
Quest generates C code for testing C compilers. A test is run by compiling
the generated code it with the compiler under test and subsequently
executing the binary that the compiler produced. A compiler bug manifests
itself by an assertion failure during the execution of the binary. This
leads to automatic testing: generate and execute tests until an assertion
failure is found.
The code generated by Quest tests one specific part of a C compiler: how it
implements passing values to a function by function call and returning a
value from it using the return statement. Stated simpler, the generated
code by Quests checks that a value passed to a function is indeed received
unaltered from the caller and likewise when a valuereturned to the caller."""
url {
src: "https://github.com/lindig/quest/archive/v0.1.zip"
checksum: [
"sha256=e2474aee0dcfec3d3702a0a2599f4b32304d5f0c1c5321ea07490b979a61a7e8"
"md5=5639257d0f404ba7f5740adab9eb27ec"
]
}