Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: e9f091cbff
Fetching contributors…

Cannot retrieve contributors at this time

21 lines (14 sloc) 0.468 kB
## Process this file with automake to produce Makefile.in
ACLOCAL_AMFLAGS = -I m4
AUTOMAKE_OPTIONS = foreign
SUBDIRS = src doc tests lib
EXTRA_DIST = README COPYING INSTALL configure.sh
dist_doc_DATA = README COPYING
vicare_test_RULES = test tests proof proofs
vicare_lib_RULES = vfasl vfasl-installed
.PHONY: $(vicare_test_RULES) $(vicare_lib_RULES)
$(vicare_test_RULES):
cd tests ; $(MAKE) $(@)
$(vicare_lib_RULES):
cd lib; $(MAKE) $(@)
### end of file
Jump to Line
Something went wrong with that request. Please try again.