-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathconfigure
More file actions
executable file
·11 lines (9 loc) · 938 Bytes
/
configure
File metadata and controls
executable file
·11 lines (9 loc) · 938 Bytes
1
2
3
4
5
6
7
8
9
10
11
#!/usr/bin/env bash
## Configures and calls coqproject.sh (https://github.com/dwoos/coqproject)
## Configuration options for coqproject.sh
DEPS=(StructTact Verdi InfSeqExt VerdiCheerios Cheerios)
DIRS=(lib systems extraction/aggregation/coq extraction/aggregation-dynamic/coq extraction/tree/coq extraction/tree-dynamic/coq extraction/zaggregation-dynamic/coq)
CANARIES=("mathcomp.ssreflect.ssreflect" "Verdi Aggregation requires mathcomp to be installed" "StructTact.StructTactics" "Build StructTact before building Verdi Aggregation" "Verdi.Verdi" "Build Verdi before building Verdi Aggregation" "AAC_tactics.AAC" "Verdi Aggregation requires AAC Tactics to be installed" "InfSeqExt.infseq" "Build InfSeqExt before building Verdi Aggregation" "VerdiCheerios.SerializedParams" "Build Verdi Cheerios before building Verdi Aggregation")
Verdi_DIRS=(core lib systems extraction)
Cheerios_DIRS=(core extraction)
source script/coqproject.sh