/[mojave]/metaprl/editor/ml/Makefile
ViewVC logotype

Diff of /metaprl/editor/ml/Makefile

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

revision 2921 by nogin, Mon Feb 21 00:04:25 2000 UTC revision 2922 by lolorigo, Thu Mar 16 19:52:02 2000 UTC
# Line 51  Line 51 
51  MP2FILES =\  MP2FILES =\
52          shell_mp\          shell_mp\
53          shell_p4\          shell_p4\
54            nuprl_sig\
55            nuprl_eval\
56            nuprl_jprover\
57            nuprl_run\
58          mp\          mp\
59          mp_top\          mp_top
         library_eval\  
         library_test  
60    
61  RUNFILES =\  RUNFILES =\
62          mp_version\          mp_version\
63            shell_mp\
64          shell_p4\          shell_p4\
65          mp\          nuprl_sig\
66          library_eval\          nuprl_eval\
67          library_test\          nuprl_jprover\
68            nuprl_run\
69            mp      
70    
71  TOPFILES =\  TOPFILES =\
72          mp_version\          mp_version\
73          shell_mp\          shell_mp\
74            nuprl_sig\
75            nuprl_eval\
76            nuprl_jprover\
77            nuprl_run\
78          mp_top          mp_top
79    
80  ifeq ($(TESTS),YES)  ifeq ($(TESTS),YES)

Legend:
Removed from v.2921  
changed lines
  Added in v.2922

  ViewVC Help
Powered by ViewVC 1.1.26