File: Makefile

package info (click to toggle)
coinst 1.9.3-6
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,904 kB
  • sloc: ml: 15,760; javascript: 10,468; makefile: 143; ansic: 52
file content (22 lines) | stat: -rw-r--r-- 334 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 

OBJS=Po.vo Lattice.vo Relation.vo coinst.vo

all: $(OBJS)

########################################################################
# Coq proofs

COQC=coqc

%.vo : %.v
	$(COQC) $<

######################################################################
# Dependencies

COQDEP=coqdep

depend:
	$(COQDEP) *.v > .depend

include .depend