/[mojave]/metaprl/mk/preface
ViewVC logotype

Diff of /metaprl/mk/preface

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3590 by nogin, Sat Oct 6 01:40:01 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 22  Line 22 
22  # All the names for "yes"  # All the names for "yes"
23  YESFLAGS=1 true True t T TRUE Y y yes Yes YES  YESFLAGS=1 true True t T TRUE Y y yes Yes YES
24    
25    DEFAULT_THEORIES = tactic ocaml base itt
26    ALL_THEORIES = tactic ocaml base itt ocaml_sos fol czf mc sil reflect_itt tptp
27    # Do not compile yet: ocaml_doc lf
28    
29  ifndef TERMS  ifndef TERMS
30     TERMS=undefined     TERMS=undefined
31  endif  endif
# Line 84  Line 88 
88  # Theory directories to compile  # Theory directories to compile
89  #  #
90  ifndef THEORIES  ifndef THEORIES
91     THEORIES = tactic ocaml base itt     THEORIES = $(DEFAULT_THEORIES)
92    endif
93    
94    ifeq ($(ROOT),.)
95       ADDROOT=
96    else
97       ADDROOT=$(ROOT)/
98    endif
99    
100    ifeq ($(THEORIES),all)
101       MP_DIRS = $(addprefix $(ADDROOT)theories/, $(ALL_THEORIES))
102    else
103       MP_DIRS = $(addprefix $(ADDROOT)theories/, $(THEORIES))
104  endif  endif
105    
106  #  #

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26