File: configure

package info (click to toggle)
coq-relation-algebra 1.7.11-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 912 kB
  • sloc: ml: 1,452; makefile: 53; sh: 20
file content (22 lines) | stat: -rwxr-xr-x 528 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
#!/bin/sh

while [ "$1" != "" ]; do
    case "$1" in
	--enable-ssr)
	    echo "theories/fhrel.v" >>_CoqProject
	    ;;
	--disable-ssr)
	    sed --in-place '/theories\/fhrel\.v/d' _CoqProject || echo "warning: sed failed to remove fhrel.v"
	    ;;
	--enable-aac)
	    echo "theories/rewriting_aac.v" >>_CoqProject
	    ;;
	--disable-aac)
	    sed --in-place '/theories\/rewriting_aac\.v/d' _CoqProject || echo "warning: sed failed to remove rewriting_aac.v"
	    ;;
	*)
	    echo "unknown option"
	    ;;
    esac
    shift
done