[project @ 1997-10-31 18:44:55 by sof]
[ghc-hetmet.git] / ghc / utils / mkdependHS / mkdependHS.prl
1 #
2 # perl script expect the following variables to be prepended:
3 #
4 #  RAWCPP TMPDIR TOP_PWD
5 #  libdir libexecdir datadir INSTALLING
6 #  PROJECTVERSION SED 
7 #
8 # tries to work like mkdependC - capable of dealing with:
9 #
10 #  -literate Haskell code (Bird tracks or Glasgow literate style) (.lhs)
11 #  -straight Haskell source (.hs)
12 #  -literate or straight Happy specs    (.ly)
13 #  
14 # ToDo: strip out all the .h junk
15 #
16 ($Pgm = $0) =~ s/.*\/([^\/]+)$/\1/;
17 $Usage  = <<EOUSAGE;
18 Usage: $Pgm [mkdependHS options] [-- GHC options --] srcfile1 [srcfile2 ...]
19
20 Options recognised wherever they occur (mkdependHS or GHC):
21
22     -D<blah>    A cpp #define; usual meaning
23     -i<dirs>    Add <dirs> (colon-separated) to list of directories
24                 to search for "import"ed modules
25     -I<dir>     Add <dir> to list of directories to search for
26                 .h files (i.e., usual meaning)
27     -syslib <blah> This program uses this GHC system library; take
28                 appropriate action (e.g., recognise when they are
29                 "import"ing a module from that library).
30
31 mkdependHS-specific options (not between --'s):
32
33     -v          Be verbose.
34     -v -v       Be very verbose.
35     -w          No warnings
36     -f blah     Use "blah" as the makefile, rather than "makefile"
37                 or "Makefile".
38     -o <osuf>   Use <osuf> as the "object file" suffix ( default: o)
39     -s <suf>    Make extra dependencies for files with
40                 suffix <suf><osuf>; thus, "-o hc -s _a" will
41                 make dependencies both for .hc files and for .a_hc
42                 files.  (Useful in conjunction with NoFib "ways".)
43     --exclude-module=<file> 
44                 Regard <file> as "stable"; i.e., eXclude it from having
45                 dependencies on it.
46     -x          same as --exclude-module
47     --exclude-directory=<dirs> 
48                 Regard : separated list of directories as containing stable,
49                 don't generate any dependencies on modules therein.
50     -Xdirs      same as --exclude-directory
51     --include-prelude
52                 Regard prelude library as unstable, i.e., generate dependencies
53                 on prelude modules. This option is normally only used by the
54                 various system libraries. If a -syslib option is used, dependencies
55                 will also be generated on the library's interfaces.
56     --include-module=<file> 
57                 Regard <file> as not "stable"; i.e., generate dependencies
58                 on it (if any). This option is normally used in conjunction 
59                 with the --exclude-directory option.
60
61 EOUSAGE
62
63 $Status     = 0; # just used for exit() status
64 $Verbose    = 0; # 1 => verbose, 2 => very verbose
65 $Warnings   = 1; # 1 => warn about duplicate interface files
66 $Dashdashes_seen = 0;
67
68 # Try to guess how to run gcc's CPP directly -------------
69
70 $OrigCpp = ${RAWCPP};
71 if ( $OrigCpp !~ /(\S+)\s+(.*)/ ) {
72     $Cpp = $OrigCpp;
73 } else {
74     $cmd  = $1;
75     $rest = $2;
76     if ( -x $cmd ) { # cool
77         $Cpp = $OrigCpp;
78     } else { # oops; try to guess
79         $GccV = `gcc -v 2>&1`;
80         if ( $GccV =~ /Reading specs from (.*)\/specs/ ) {
81             $Cpp = "$1/cpp $rest";
82         } else {
83             die "mkdependHS: don't know how to run cpp: $OrigCpp\n";
84         }
85     }
86 }
87
88 if ( $ENV{'TMPDIR'} ) { # where to make tmp file names
89     $Tmp_prefix = $ENV{'TMPDIR'} . "/mkdependHS$$";
90 } else {
91     $Tmp_prefix ="${TMPDIR}/mkdependHS$$";
92     $ENV{'TMPDIR'} = "${TMPDIR}"; # set the env var as well
93 }
94
95 $TopPwd            = "${TOP_PWD}";
96 $InstLibDirGhc     = "${libdir}";
97 $InstLibExecDirGhc = "${libexecdir}";
98 $InstHsLibDirGhc   = "${libdir}/hslibs";
99 $InstDataDirGhc    = "${datadir}";
100
101 $Unlit = ($INSTALLING) ? "${InstLibExecDirGhc}/unlit" 
102                        : "${TopPwd}/ghc/utils/unlit/unlit";
103
104 $Begin_magic_str = "# DO NOT DELETE: Beginning of Haskell dependencies\n";
105 $End_magic_str = "# DO NOT DELETE: End of Haskell dependencies\n";
106 @Obj_suffix =  ("o");
107 @File_suffix = ();
108 $ghc_version_info = int ( ${PROJECTVERSION} * 100 );
109
110 $Import_dirs = '.';
111 %Syslibs = ();
112 %LibIfaces  = ();  # known prelude/syslib ifaces; read from a file
113 %IgnoreMe = ();
114 # directories to considered stable.
115 @Ignore_dirs = ();
116
117 $Include_dirs = '-I.';
118 $Makefile = '';
119 @Src_files = ();
120 $Include_prelude = 0;
121
122 &mangle_command_line_args();
123
124 if ( $Status ) {
125     print stderr $Usage;
126     exit(1);
127 }
128
129 push(@Defines,
130      ( #OLD: "-D__HASKELL1__=$Haskell_1",
131       "-D__GLASGOW_HASKELL__=$ghc_version_info"));
132
133 @Import_dirs  = split(/:/,$Import_dirs);
134 @Include_dirs = split(/\s+/,$Include_dirs); # still has -I's in it
135
136 # set up array of ignored modules
137 local(@dirs) = ($INSTALLING) ? 
138                ("$InstLibDirGhc/imports")
139              : ("$TopPwd/ghc/lib/ghc",
140                 "$TopPwd/ghc/lib/required",
141                 "$TopPwd/ghc/lib/glaExts",
142                 "$TopPwd/ghc/lib/concurrent");
143 if (!$Include_prelude) {
144     push(@Ignore_dirs, @dirs);
145 } else {
146     push(@Import_dirs, @dirs);
147 }
148
149 foreach $lib ( @Syslibs ) {
150     local($dir) = 
151       ($INSTALLING) ? "${InstHsLibDirGhc}/${lib}/imports" 
152                     : "${TopPwd}/hslibs/${lib}/src";
153     if (!$Include_prelude) {
154        push(@Ignore_dirs,$dir);
155     } else {
156        push(@Import_dirs, @dirs);
157     }
158 }
159
160
161 # NB: We keep the scalar-variable equivalents to use in error messages
162
163 if ( ! $Makefile && -f 'makefile' ) {
164     $Makefile = 'makefile';
165 } elsif ( ! $Makefile && -f 'Makefile') {
166     $Makefile = 'Makefile';
167 } elsif ( ! $Makefile) {
168     die "$Pgm: no makefile or Makefile found\n";
169 }
170
171 print STDERR "CPP defines=@Defines\n" if $Verbose;
172 print STDERR "Import_dirs=@Import_dirs\n" if $Verbose;
173 print STDERR "Include_dirs=@Include_dirs\n" if $Verbose;
174
175 &preprocess_import_dirs();
176
177 @Depend_lines = ();
178
179 # Delete temp. file if script is halted.
180 sub quit_upon_signal { print STDERR "Deleting $Tmp_prefix.hs .. \n"; unlink "$Tmp_prefix.hs"; }
181 $SIG{'INT'}  = 'quit_upon_signal';
182 $SIG{'QUIT'} = 'quit_upon_signal';
183
184 foreach $sf (@Src_files) {
185
186     # just like lit-inputter
187     # except it puts each file through CPP and
188     # a de-commenter (not implemented);
189     # builds up @Depend_lines
190     print STDERR "Here we go for source file: $sf\n" if $Verbose;
191     ($bf = $sf) =~ s/\.l?(hs|y)$//;
192
193     local($str)="";
194     foreach $obj  (@Obj_suffix) {
195         $str .= "$bf.$obj ";
196         foreach $suff (@File_suffix) {
197            $str .= "$bf.${suff}_$obj ";
198         }
199     }
200     push(@Depend_lines, "$str: $sf\n");
201     # if it's a literate file, .lhs or .ly? (happy specs), then we de-literatize it: 
202     if ( $sf !~ /\.l(hs|y)$/ ) {
203         $file_to_read = $sf;
204     } else {
205         $file_to_read = "$Tmp_prefix.hs";
206         local($to_do) = "$Unlit $sf $file_to_read";
207         &run_something($to_do, 'unlit');
208     }
209     &slurp_file_for_imports($file_to_read, $sf);
210
211     if ( $sf =~ /\.l(hs|y)$/ ) {
212         unlink "$Tmp_prefix.hs";
213     }
214 }
215
216
217 # OK, mangle the Makefile
218 unlink("$Makefile.bak");
219
220 #
221 # If no output file exist as yet, create one.
222
223 if ( ! -f $Makefile.bak ) {
224    system("touch $Makefile.bak");
225
226 if ( -f $Makefile ) {
227    rename($Makefile,"$Makefile.bak");
228 }
229 # now copy Makefile.bak into Makefile, rm'ing old dependencies
230 # and adding the new
231 open(OMKF,"< $Makefile.bak") || die "$Pgm: can't open $Makefile.bak: $!\n";
232 open(NMKF,"> $Makefile") || die "$Pgm: can't open $Makefile: $!\n";
233 select(NMKF);
234 $_ = <OMKF>;
235 while ($_ && $_ ne $Begin_magic_str) { # copy through, 'til Begin_magic_str
236     print $_;
237     $_ = <OMKF>;
238 }
239 while ($_ && $_ ne $End_magic_str) { # delete 'til End_magic_str
240     $_ = <OMKF>;
241 }
242 # insert dependencies
243 print $Begin_magic_str;
244 print @Depend_lines;
245 print $End_magic_str;
246 while (<OMKF>) { # copy the rest through
247     print $_;
248 }
249 close(NMKF) || exit(1);
250 close(OMKF) || exit(1);
251 exit 0;
252
253 sub mangle_command_line_args {
254     while($_ = $ARGV[0]) {
255         shift(@ARGV);
256
257         if ( /^--$/ ) {
258             $Dashdashes_seen++;
259
260         } elsif ( /^-D(.*)/ ) { # recognized wherever they occur
261             push(@Defines, $_);
262         } elsif ( /^-i(.*)/ ) { # ditto
263             $Import_dirs .= ":$1";
264         } elsif ( /^-I/ ) {
265             $Include_dirs .= " $_";
266         } elsif ( /^-syslib$/ ) {
267             push(@Syslibs, &grab_arg_arg($_,''));
268         } elsif ($Dashdashes_seen != 1) { # not between -- ... --
269             if ( /^-v$/ ) {
270                 $Verbose++;
271             } elsif ( /^-w$/ ) {
272                 $Warnings     = 0;
273             } elsif ( /^-f(.*)/ ) {
274                 $Makefile       = &grab_arg_arg('-f',$1);
275             } elsif ( /^-o(.*)/ ) {
276                 local($suff)    = &grab_arg_arg('-o',$1);
277                 # Weed out existing entry .. there must be a better way of doing this
278                 # with arrays (non-assoc) ! -- sof
279                 @Obj_suffix     = grep(!/$suff/,@Obj_suffix);
280                 push(@Obj_suffix, $suff);
281             #
282             # --exclude-module=mod => it's stable, trust me!
283             
284             } elsif ( /^-(x|-exclude-module=)(.*)/ ) { 
285                 local($thing) = &grab_arg_arg($1,$2);
286                 $IgnoreMe{$thing} = 'y';
287             } elsif ( /^-(X|-exclude-directory=)(.*)/ ) { 
288                 foreach $d ( split(/:/,&grab_arg_arg($1, $2)) ) {
289                    push(@Ignore_dirs,"$d");
290                 }
291             } elsif ( /^--include-module=(.*)/ ) { 
292                 local($thing) = &grab_arg_arg($1,$2);
293                 $IgnoreMe{$thing} = 'n';
294             } elsif ( /^--include-prelude$/ ) { 
295                 $Include_prelude = 1;
296             } elsif ( /^-s(.*)/ ) {
297                 local($suff)    =  &grab_arg_arg('-s',$1);
298                 push(@File_suffix, $suff);
299             } elsif ( /^-/ ) {
300                 print STDERR "$Pgm: unknown option ignored: $_\n";
301                 $Status++;
302             } else {
303                 push(@Src_files, $_);
304             }
305
306         } elsif ($Dashdashes_seen == 1) { # where we ignore unknown options
307             push(@Src_files, $_) if ! /^-/;
308         }
309     }
310     @File_suffix = sort (@File_suffix);
311 }
312
313 sub grab_arg_arg {
314     local($option, $rest_of_arg) = @_;
315     
316     if ($rest_of_arg) {
317         return($rest_of_arg);
318     } elsif ($#ARGV >= 0) {
319         local($temp) = $ARGV[0]; shift(@ARGV); 
320         return($temp);
321     } else {
322         print STDERR "$Pgm: no argument following $option option\n";
323         $Status++;
324     }
325 }
326
327 sub preprocess_import_dirs {
328     # it's probably cheaper to find out what's in all
329     # the @Import_dirs before we start processing.
330     local($d, $thing);
331     local($_);
332     %ModuleIn = ();
333
334     foreach $d ( @Import_dirs ) {
335         # Check to see if it can be ignored
336         #print STDERR "Ignore imports from $d\n" if $Verbose && $Ignore_dirs{$d};
337         #next if $Ignore_dirs{$d};
338
339         opendir(DIR, $d) || die "$Pgm: can't open directory $d\n";
340
341         for ($_ = readdir(DIR); $_; $_ = readdir(DIR)) {
342             next unless /(.*)\.hi$/;
343             $thing = $1;
344             if ($ModuleIn{$thing} && $ModuleIn{$thing} ne $d) {
345                 print STDERR "$Pgm: warning: $thing.hi appears in both $ModuleIn{$thing} and $d!\n" if ($Warnings);
346             } else {
347                 $ModuleIn{$thing} = $d;
348             }
349         }
350         closedir(DIR); # No, don't check the error code
351     }
352
353     # Add all the modules
354     # to the IgnoreMe array before we start scanning for imports.
355     foreach $d (@Ignore_dirs) {
356
357         opendir(DIR, $d) || die "$Pgm: can't open directory $d\n";
358
359         for ($_ = readdir(DIR); $_; $_ = readdir(DIR)) {
360             next unless /(.*)\.(hi|l?hs|l?y)$/;
361             #don't tag it twice or overwrite it with a diff. value
362             next if $IgnoreMe{$1};
363             print STDERR "Module $d/$1.$2 will be ignored\n" if $Verbose;
364
365             $IgnoreMe{$1} = 'y';
366         }
367         closedir(DIR); # No, don't check the error code
368     }
369 }
370
371 sub slurp_file_for_imports {
372     local($file_to_read, $orig_src_file) = @_;
373     local($follow_file);
374
375     local($last_seen_dir) = $orig_src_file;
376     $last_seen_dir =~ s/\/[^\/]+$//; # strip to dir name
377     $last_seen_dir = '.' if ($last_seen_dir eq $orig_src_file);
378
379     process_dependency('import',0,'Prelude') if ($Include_prelude);
380
381     # we mangle #include's so they will also leave something
382     # behind to indicate the dependency on _them_
383     
384     print STDERR "${SED} -e '/^# *include/{p;s/^# *include/!include/;};s/'\\''//g;s/\"//g' $file_to_read | $Cpp $Include_dirs -I$last_seen_dir @Defines |\n" if $Verbose;
385
386     open(SRCFILE, "${SED} -e '/^# *include/{p;s/^# *include/!include/;};s/'\\''//g;s/\"//g' $file_to_read | $Cpp $Include_dirs -I$last_seen_dir @Defines |")
387         || die "$Pgm: Can't open $file_to_read: $!\n";
388
389     while (<SRCFILE>) {
390         #
391         # import {-# SOURCE #-} Foo (bar) generates dependencies on the source file only,
392         # the compiler will deal with the absence of Foo.hi by consulting the
393         # source for Foo directly. (for dealing with recursive modules).
394         #
395         next unless (/^>?\s*(import)(\s+{-#\s*SOURCE\s*#-})?(\s+qualified)?\s+([A-Z][A-Za-z0-9_']*)/ || /^!(include)(\s+)"(\S+)"/);
396         $todo    = $1;
397         $source  = ( $2 ne '') ? 1 : 0;
398         $modname = $4;
399
400         next if $modname eq '';
401         process_dependency($todo,$source,$modname);
402     }
403     close(SRCFILE) || exit(1);
404 }
405
406 #
407 # Handle
408 sub process_dependency {
409   local($todo,$source,$modname) = @_;
410
411   if ($todo eq 'import') {
412     if ( $ModuleIn{$modname} ) {
413         $follow_file = "$ModuleIn{$modname}/$modname.hi";
414     } else { # hard way
415         $follow_file =
416           &find_in_Import_dirs($orig_src_file, $modname, $last_seen_dir, $source );
417     }
418   } else {
419         $follow_file
420           = &find_in_Include_dirs($orig_src_file, $modname, $last_seen_dir);
421   }
422
423   if (! $follow_file) { # it didnae find anything
424       die "$orig_src_file: Couldn't handle: $_\n";
425
426   } else { # it found something
427     if ($follow_file ne '__ignore__') {
428         local($int_file) = $follow_file;
429
430         if ( $int_file !~ /\.(l?hs|hi|l?y)$/ ) {
431             local($str) = "";
432             foreach $obj  (@Obj_suffix) {
433                 $str .= "$bf.$obj ";
434                 foreach $suff (@File_suffix) {
435                    $str .= "$bf.${suff}_$obj ";
436                 }
437             }
438             push(@Depend_lines, "$str: $int_file\n");
439         } else {
440             $int_file =~ s/\.l?hs$//;
441             $int_file =~ s/\.l?y$//;
442             $int_file =~ s/\.hi$//;
443             local($source_dep);
444
445             if ( $source ) {
446                 $source_dep = "$int_file.hi-boot";
447             } else {
448                 local($str)="";
449                 foreach $obj (@Obj_suffix) {
450                    $str .= "$bf.$obj ";
451                 }
452                 push(@Depend_lines, "$str: $int_file.hi\n");
453             }
454
455             if ( ! $source ) {
456                foreach $suff  (@File_suffix) {
457                   local($str) = "";
458                   foreach $obj (@Obj_suffix) {
459                     $str .= "$bf.${suff}_$obj ";
460                   }
461                   push(@Depend_lines, "$str: $int_file.${suff}_hi\n");
462                }
463             } else {
464                local($str) = "";
465                foreach $obj  (@Obj_suffix) {
466                    $str .= "$bf.$obj ";
467                    foreach $suff (@File_suffix) {
468                      $str .= "$bf.${suff}_$obj ";
469                    }
470                }
471                push(@Depend_lines, "$str: $source_dep\n");
472             }
473         }
474      }
475    }
476 }
477
478 # when we see something, we cache that fact ('y').
479 # also, when we get a miss, we cache that (so we don't try later); ('n')
480 %FileExists = ();
481
482 sub find_in_Import_dirs {
483     local($orig_src_file, $modname, $last_seen_dir, $source) = @_;
484     local($import_dir);
485     local($do_magical_check) = 0;
486     local($name_to_check);
487
488     # do it the old hard way: hop along Import_dir list
489     foreach $import_dir (@Import_dirs) {
490         # handle . magically
491         if ($import_dir eq '.') {
492             # record that we should do a SPECIAL try for a file in last_seen_dir (LAST)
493             $do_magical_check = 1;
494         }
495
496         $name_to_check = "$import_dir/$modname.hi";
497         if ( $FileExists{$name_to_check} ne 'n' ) { # either 'y' or nothing
498             print STDERR "trying $name_to_check...\n" if $Verbose >= 2; # very verbose
499             return($name_to_check) if $FileExists{$name_to_check} eq 'y';
500             if (-f $name_to_check) {
501                 $FileExists{$name_to_check} = 'y';
502                 return($name_to_check) ;
503             } else {
504                 $FileExists{$name_to_check} = 'n';
505             }
506         }
507
508         for $suff ('hs', 'lhs', 'ly', 'y') {
509             $name_to_check = "$import_dir/$modname.$suff";
510             print STDERR "trying... $name_to_check\n" if $Verbose >= 2; # very verbose
511             return($name_to_check) if -f $name_to_check;
512         }
513
514         if ( $source ) {
515             $name_to_check = "$import_dir/$modname.hi-boot";
516             print STDERR "trying... $name_to_check\n" if $Verbose >= 2; # very verbose
517             return($name_to_check) if -f $name_to_check;
518         }               
519     }
520     if ($do_magical_check == 1) {
521         $name_to_check = "$last_seen_dir/$modname.hi";
522
523         if ( $FileExists{$name_to_check} ne 'n' ) { # either 'y' or nothing
524             print STDERR "trying $name_to_check...\n" if $Verbose >= 2; # very verbose
525             return($name_to_check) if $FileExists{$name_to_check} eq 'y';
526             if (-f $name_to_check) {
527                 $FileExists{$name_to_check} = 'y';
528                 return($name_to_check) ;
529             } else {
530                 $FileExists{$name_to_check} = 'n';
531             }
532         }
533
534         for $suff ('lhs', 'hs', 'ly', 'y') {
535             $name_to_check = "$last_seen_dir/$modname.$suff";
536             print STDERR "trying... $name_to_check\n" if $Verbose >= 2; # very verbose
537             return($name_to_check) if -f $name_to_check;
538         }
539     }
540
541     # OK, maybe it's referring to something in a system library
542     #foreach $lib ( @Syslibs ) {
543     #   return('__ignore__') if $LibIfaces{"$lib:$modname"};
544     #}
545
546     # Last hope: referring to a Prelude interface
547     return('__ignore__') if ( $IgnoreMe{$modname} eq 'y' );
548
549     die "No file `$modname.hi', `$modname.lhs', `$modname.hs' (reqd from file `$orig_src_file')\namong import directories:\n\t$Import_dirs\n";
550 }
551
552 sub find_in_Include_dirs {
553     local($orig_src_file, $name, $last_seen_dir) = @_;
554     local($include_dir);
555     local($do_magical_check) = 0;
556
557     # no funny name guessing here
558
559     # hop along Include_dir list
560     foreach $include_dir (@Include_dirs) {
561         $include_dir =~ s/^-I//;
562
563         # handle . magically
564         if ($include_dir eq '.') {
565             # record that we should do a SPECIAL try for a file in last_seen_dir (LAST)
566             $do_magical_check = 1;
567         }
568         print STDERR "trying $include_dir/$name...\n" if $Verbose >= 2; # very verbose
569         if (-f "$include_dir/$name") {
570             return("$include_dir/$name");
571         }
572     }
573     if ($do_magical_check == 1) {
574         print STDERR "trying $last_seen_dir/$name...\n" if $Verbose >= 2; # very verbose
575         if (-f "$last_seen_dir/$name") {
576             return("$last_seen_dir/$name");
577         }
578     }
579     die "No file `$name' (reqd from file `$orig_src_file') among include directories: $Include_dirs\n";
580 }
581
582 # out of the driver, actually
583 sub run_something {
584     local($str_to_do, $tidy_name) = @_;
585
586     print STDERR "\n$tidy_name:\n\t" if $Verbose;
587     print STDERR "$str_to_do\n" if $Verbose;
588
589     local($return_val) = system($str_to_do) >> 8;
590
591     if ($return_val != 0) {
592         local($die_msg) = "$Pgm: execution of the $tidy_name had trouble";
593         $die_msg .= " (program not found)" if $return_val == 255;
594         $die_msg .= " ($!)" if $Verbose && $! != 0;
595         $die_msg .= "\n";
596         print STDERR $die_msg;
597         exit $return_val;
598     }
599 }