forked from 1100110/OpenMPI
-
Notifications
You must be signed in to change notification settings - Fork 7
/
dub.json
43 lines (40 loc) · 1.22 KB
/
dub.json
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
{
"name": "mpi",
"authors": ["Jude Young", "John Colvin"],
"subPackages": [
{
"name": "configure",
"sourcePaths": ["gen/configure/"],
"targetType": "executable"
},
{
"name": "splice",
"sourcePaths": ["gen/splice/"],
"targetType": "executable"
}
],
"configurations": [
{
"name": "error-noconfig",
"preBuildCommands": [
"echo Error'('$PACKAGE_DIR/dub.json')': This is an unconfigured dub.json, you must configure it by running gen/setup.sh from the mpi package root or use the '\"'noLibs'\"' configuration for mpi",
"test 1 -eq 0"
],
"libs": ["error-noconfig"]
},
{
"name": "noLibs"
}
],
"buildTypes": {
"DSddox": {
"buildOptions": ["syntaxOnly"],
"dflags": ["-c", "-Df__dummy.html", "-Xfdocs.json"],
"postBuildCommands": [
"rm -rf site/api",
"ddox filter --min-protection=Protected docs.json",
"ddox generate-html --navigation-type=ModuleTree docs.json site/api"
]
}
}
}