matita/components/binaries/matex/Makefile

   1 EXEC = matex
   2 VERSION=0.1.0
   3
   4 REQUIRES = helm-ng_library
   5
   6 include ../Makefile.common
   7
   8 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml
   9
  10 OBJS = cic:/matita/lambdadelta/basic_1/pr0/pr0/pr0_confluence.con\
  11        cic:/matita/lambdadelta/basic_1/pr0/defs/pr0_ind.con\
  12        cic:/matita/lambdadelta/basic_1/pr0/defs/pr0.ind
  13
  14 test:
  15         @echo MaTeX: $(OBJS:cic:/matita/lambdadelta/basic_1/pr0/%=%)
  16         $(H)./matex.native -O test -t -p $(REGISTRY) $(OBJS)
  17
  18 .PHONY: test