Sign in
dart
/
sdk.git
/
084e98e3a3dab8c6176ece3148bc211002dbe06b
/
.
/
pkg
/
kernel
/
coq
/
build.sh
blob: 87d249e895e682cce55624da2a2ed8be1e6d4bdd [
file
] [
log
] [
blame
]
#!/bin/bash
coq_makefile
-
f
_CoqProject
-
o
Makefile
&&
make
