File: configure.sh

package info (click to toggle)
coq-libhyps 2.0.8-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 304 kB
  • sloc: makefile: 13; sh: 7
file content (9 lines) | stat: -rwxr-xr-x 376 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
#!/bin/sh

FILES=`find . -name "*.v" -exec echo {} \;`
echo "-R LibHyps LibHyps" > _CoqProject
echo "" >> _CoqProject
for i in `find LibHyps -name "*.v"| grep -v LibHypsNaming2 | grep -v LibSpecialize.v | grep -v LibHypsExamples | grep -v LibHypsDemo | grep -v LibHypsTest | grep -v LibHypsRegression`; do
  echo $i >> _CoqProject
done
coq_makefile -f _CoqProject -o Makefile