/[mojave]/metaprl/Makefile
ViewVC logotype

Diff of /metaprl/Makefile

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

revision 3590 by nogin, Wed Apr 24 23:51:09 2002 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 26  Line 26 
26          debug\          debug\
27          ensemble          ensemble
28    
 MP_DIRS = $(addprefix theories/, $(THEORIES))  
   
29  DIRS = $(REFINER_DIRS) filter $(MP_DIRS) editor/ml  DIRS = $(REFINER_DIRS) filter $(MP_DIRS) editor/ml
30    
31  .PHONY: all opt  .PHONY: all opt

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

  ViewVC Help
Powered by ViewVC 1.1.26