2 # perl script expect the following variables to be prepended:
4 # RAWCPP TMPDIR TOP_PWD HscIfaceFileVersion
5 # libdir libexecdir datadir INSTALLING
8 # tries to work like mkdependC - capable of dealing with:
10 # -literate Haskell code (Bird tracks or Glasgow literate style) (.lhs)
11 # -straight Haskell source (.hs)
12 # -literate or straight Happy specs (.ly)
14 # ToDo: strip out all the .h junk
16 ($Pgm = $0) =~ s/.*\/([^\/]+)$/\1/;
18 Usage: $Pgm [mkdependHS options] [-- GHC options --] srcfile1 [srcfile2 ...]
20 Options recognised wherever they occur (mkdependHS or GHC):
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 -package <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 -osuf <osuf> Use <osuf> as the "object file" suffix ( default: o)
32 mkdependHS-specific options (not between --'s):
35 -v -v Be very verbose.
37 -f blah Use "blah" as the makefile, rather than "makefile"
39 -cpp Wash the input files through cpp(1).
40 -s <suf> Make extra dependencies for files with
41 suffix <suf><osuf>; thus, "-o hc -s _a" will
42 make dependencies both for .hc files and for .a_hc
43 files. (Useful in conjunction with NoFib "ways".)
44 --exclude-module=<file>
45 Regard <file> as "stable"; i.e., eXclude it from having
47 -x same as --exclude-module
48 --exclude-directory=<dirs>
49 Regard : separated list of directories as containing stable,
50 don't generate any dependencies on modules therein.
51 -Xdirs same as --exclude-directory
53 Regard prelude libraries as unstable, i.e., generate dependencies
54 on prelude modules. This option is normally only used by the
55 various system libraries. If a -package option is used, dependencies
56 will also be generated on the library's interfaces.
57 --include-module=<file>
58 Regard <file> as not "stable"; i.e., generate dependencies
59 on it (if any). This option is normally used in conjunction
60 with the --exclude-directory option.
64 $Status = 0; # just used for exit() status
65 $Verbose = 0; # 1 => verbose, 2 => very verbose
66 $Warnings = 1; # 1 => warn about duplicate interface files
70 $Cpp_flag_set = 0; # 1 => run cpp over input files.
72 if ( $ENV{'TMPDIR'} ) { # where to make tmp file names
73 $Tmp_prefix = $ENV{'TMPDIR'} . "/mkdependHS$$";
75 $Tmp_prefix ="${TMPDIR}/mkdependHS$$";
76 $ENV{'TMPDIR'} = "${TMPDIR}"; # set the env var as well
79 $TopPwd = "${TOP_PWD}";
80 $InstLibDirGhc = "${libdir}";
81 $InstLibExecDirGhc = "${libexecdir}";
82 $InstDataDirGhc = "${datadir}";
84 $Unlit = ($INSTALLING) ? "${InstLibExecDirGhc}/unlit"
85 : "${TopPwd}/ghc/utils/unlit/unlit";
87 $HiBootVersion = $HscIfaceFileVersion;
88 $hi_boot_with_version = 0;
90 $Begin_magic_str = "# DO NOT DELETE: Beginning of Haskell dependencies\n";
91 $End_magic_str = "# DO NOT DELETE: End of Haskell dependencies\n";
97 %LibIfaces = (); # known prelude/syslib ifaces; read from a file
99 # directories to considered stable.
104 $Include_dirs = '-I.';
107 $Include_prelude = 0;
109 $ProcessingOptions=0;
111 # Delete temp. file if script is halted.
112 sub quit_upon_signal { print STDERR "Deleting $Tmp_prefix.hs .. \n"; unlink "$Tmp_prefix.hs"; }
113 $SIG{'INT'} = 'quit_upon_signal';
114 $SIG{'QUIT'} = 'quit_upon_signal';
116 &mangle_command_line_args(@ARGV);
123 @Import_dirs = split(/:/,$Import_dirs);
124 @Include_dirs = split(/\s+/,$Include_dirs); # still has -I's in it
126 # NB: We keep the scalar-variable equivalents to use in error messages
128 &gather_import_dirs();
130 if ( ! $Makefile && -f 'makefile' ) {
131 $Makefile = 'makefile';
132 } elsif ( ! $Makefile && -f 'Makefile') {
133 $Makefile = 'Makefile';
134 } elsif ( ! $Makefile) {
135 die "$Pgm: no makefile or Makefile found\n";
138 print STDERR "CPP defines=@Defines\n" if $Verbose;
139 print STDERR "Import_dirs=@Import_dirs\n" if $Verbose;
140 print STDERR "Include_dirs=@Include_dirs\n" if $Verbose;
142 &preprocess_import_dirs();
146 foreach $sf (@Src_files) {
148 # just like lit-inputter
149 # except it puts each file through CPP and
150 # a de-commenter (not implemented);
151 # builds up @Depend_lines
152 print STDERR "Here we go for source file: $sf\n" if $Verbose;
153 ($bf = $sf) =~ s/\.l?(hs|y)$//;
156 foreach $obj (@Obj_suffix) {
158 foreach $suff (@File_suffix) {
159 $str .= "$bf.${suff}_$obj ";
162 push(@Depend_lines, "$str: $sf\n");
163 # if it's a literate file, .lhs or .ly? (happy specs), then we de-literatize it:
164 if ( $sf !~ /\.l(hs|y)$/ ) {
167 $file_to_read = "$Tmp_prefix.hs";
168 local($to_do) = "$Unlit $sf $file_to_read";
169 &run_something($to_do, $sf, 'unlit');
171 &slurp_file_for_imports($file_to_read, $sf);
173 # Delete the temporary.
174 if ( $sf =~ /\.l(hs|y)$/ ) {
175 unlink "$Tmp_prefix.hs";
182 if ( $Makefile eq "-" ) {
184 # print dependencies to STDOUT
187 } elsif ( ! -f $Makefile ) {
189 # $Makefile does not exist, just print the deps.
191 open(NMKF,"> $Makefile") || die "$Pgm: can't open $Makefile: $!\n";
197 # Create backup version of output file, then generate a new one.
199 rename($Makefile,"$Makefile.bak") || die "$Pgm: can't rename $Makefile: $!\n";
201 # now copy Makefile.bak into Makefile, rm'ing old dependencies
203 open(OMKF,"< $Makefile.bak") || die "$Pgm: can't open $Makefile.bak: $!\n";
204 open(NMKF,"> $Makefile") || die "$Pgm: can't open $Makefile: $!\n";
208 while ($_ && $_ ne $Begin_magic_str) { # copy through, 'til Begin_magic_str
212 while ($_ && $_ ne $End_magic_str) { # delete 'til End_magic_str
218 while (<OMKF>) { # copy the rest through
219 print $_ || die "Failed to write out dependencies ($!)";
221 close(NMKF) || exit(1);
222 close(OMKF) || exit(1);
229 # insert dependencies
230 print "$Begin_magic_str", @Depend_lines, $End_magic_str || die "Failed to write out dependencies ($!)";
233 sub mangle_command_line_args {
236 while($_ = $Args[0]) {
242 } elsif ( /^-D(.*)/ ) { # recognized wherever they occur
244 } elsif ( /^-cpp$/ ) { # recognized wherever they occur
247 $Import_dirs = ''; # import path cleared!
248 } elsif ( /^-i(.*)/ ) {
249 $Import_dirs = "$1:$Import_dirs";
251 $Include_dirs .= " $_";
252 } elsif ( /^-syslib$/ ) { # deprecated, use -syslib
253 push(@Syslibs, &grab_arg_arg(*Args,$_,''));
254 } elsif ( /^-package$/ ) {
255 push(@Syslibs, &grab_arg_arg(*Args,$_,''));
256 } elsif ( /^-fglasgow-exts$/ ) {
257 push(@Syslibs, 'lang');
258 } elsif ( /^-concurrent$/ ) {
259 push(@Syslibs, 'concurrent');
260 } elsif (/^-#include(.*)/) {
261 &grab_arg_arg(*Args,'-#include',$1);
262 } elsif ( /^-osuf(.*)/ ) {
263 local($suff) = &grab_arg_arg(*Args,'-osuf',$1);
264 # Weed out existing entry .. there must be a better way of doing this
265 # with arrays (non-assoc) ! -- sof
266 @Obj_suffix = grep(!/$suff/,@Obj_suffix);
267 push(@Obj_suffix, $suff);
269 } elsif ($Dashdashes_seen != 1) { # not between -- ... --
274 } elsif ( /^-f(.*)/ && !$ProcessingOptions ) {
275 $Makefile = &grab_arg_arg(*Args,'-f',$1);
277 # --exclude-module=mod => it's stable, trust me!
278 } elsif ( /^-(x|-exclude-module=)(.*)/ ) {
279 local($thing) = &grab_arg_arg(*Args,$1,$2);
280 $IgnoreMe{$thing} = 'Y';
281 } elsif ( /^-(X|-exclude-directory=)(.*)/ ) {
282 foreach $d ( split(/:/,&grab_arg_arg(*Args,$1, $2)) ) {
283 push(@Ignore_dirs,"$d");
285 } elsif ( /^--include-module=(.*)/ ) {
286 local($thing) = &grab_arg_arg(*Args,$1,$2);
287 $IgnoreMe{$thing} = 'n';
288 } elsif ( /^--include-prelude$/ ) {
289 $Include_prelude = 1;
290 } elsif ( /^-s(.*)/ ) {
291 local($suff) = &grab_arg_arg(*Args,'-s',$1);
292 push(@File_suffix, $suff);
294 if (!$ProcessingOptions) {
295 print STDERR "$Pgm: unknown option ignored: $_\n";
299 push(@Src_files, $_);
302 # Removed support for picking up plausible source file
303 # names inside the ghc options chunk of the command
304 # line. It failed to deal with `option-value' stuff present
305 # on some invocations of ghc (e.g., "-ohi foo.baz").
308 # } elsif ($Dashdashes_seen == 1) {
309 # push(@Src_files, $_) if ! /^-/;
312 @File_suffix = sort (@File_suffix);
316 local(*Args, $option, $rest_of_arg) = @_;
319 return($rest_of_arg);
320 } elsif ($#Args >= 0) {
321 local($temp) = $Args[0]; shift(@Args);
324 print STDERR "$Pgm: no argument following $option option\n";
329 sub gather_import_dirs {
331 # set up array of ignored modules
332 local(@dirs) = ($INSTALLING) ?
333 ("$InstLibDirGhc/imports/std")
334 : ("$TopPwd/ghc/lib/std");
336 if (!$Include_prelude) {
337 push(@Ignore_dirs, @dirs);
339 push(@Import_dirs, @dirs);
342 foreach $lib ( @Syslibs ) {
346 if ( $lib eq 'lang' && ! $INSTALLING ) {
347 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/monads");
349 if ( $lib eq 'text' && ! $INSTALLING ) {
350 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/html");
351 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/haxml/lib");
352 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/parsec");
354 if ( $lib eq 'data' && ! $INSTALLING ) {
355 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/edison");
356 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/edison/Assoc");
357 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/edison/Coll");
358 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/edison/Seq");
360 if ( $lib eq 'util' && ! $INSTALLING ) {
361 push(@Import_dirs, "${TopPwd}/hslibs/${lib}/check");
365 if ( $lib eq 'win32' && ! $INSTALLING ) {
366 $dir = "${TopPwd}/hslibs/${lib}/src";
367 } elsif ( $lib eq 'greencard' && ! $INSTALLING ) {
368 $dir = "${TopPwd}/green-card/lib/ghc";
369 } elsif ( $lib eq 'com' && ! $INSTALLING ) {
370 $dir = "${TopPwd}/hdirect/lib";
372 $dir = ($INSTALLING) ? "${InstLibDirGhc}/imports/${lib}"
373 : "${TopPwd}/hslibs/${lib}";
376 if (!$Include_prelude) {
377 push(@Ignore_dirs,$dir);
379 push(@Import_dirs, $dir);
386 sub preprocess_import_dirs {
387 # it's probably cheaper to find out what's in all
388 # the @Import_dirs before we start processing.
392 foreach $d ( @Import_dirs ) {
393 # Check to see if it can be ignored
394 #print STDERR "Ignore imports from $d\n" if $Verbose && $Ignore_dirs{$d};
395 #next if $Ignore_dirs{$d};
397 opendir(DIR, $d) || die "$Pgm: can't open directory $d\n";
399 for ($_ = readdir(DIR); $_; $_ = readdir(DIR)) {
400 next unless /(.*)\.hi$/;
402 if ($ModuleIn{$thing} && $ModuleIn{$thing} ne $d) {
403 print STDERR "$Pgm: warning: $thing.hi appears in both $ModuleIn{$thing} and $d!\n" if ($Warnings);
405 $ModuleIn{$thing} = $d;
408 closedir(DIR); # No, don't check the error code
411 # Add all the modules
412 # to the IgnoreMe array before we start scanning for imports.
413 foreach $d (@Ignore_dirs) {
415 opendir(DIR, $d) || die "$Pgm: can't open directory $d\n";
417 for ($_ = readdir(DIR); $_; $_ = readdir(DIR)) {
418 next unless /(.*)\.(hi|l?hs|l?y)$/;
419 #don't tag it twice or overwrite it with a diff. value
420 next if $IgnoreMe{$1};
421 print STDERR "Module $d will be ignored\n" if $Verbose;
425 closedir(DIR); # No, don't check the error code
429 sub slurp_file_for_imports {
430 local($file_to_read, $orig_src_file) = @_;
431 local($follow_file,$read_from_file);
434 local(@Old_Syslibs, $options);
435 local(@Old_Ignore_dirs);
436 local($found_options)=0;
438 local($last_seen_dir) = $orig_src_file;
439 $last_seen_dir =~ s/\/[^\/]+$//; # strip to dir name
440 $last_seen_dir = '.' if ($last_seen_dir eq $orig_src_file);
442 local($mod_name) = $orig_src_file;
444 $mod_name =~ s/.*\/([^\/]+)$/$1/g;
445 $mod_name =~ s/^([^.]+)\.(.*)$/$1/;
447 print STDERR "Warning: processing module $mod_name, which I was supposed to ignore.\n"
448 if ( $IgnoreMe{$mod_name} eq 'Y' && $Warnings );
450 &process_dependency('import',0,'Prelude') if ($Include_prelude);
453 # Check for {-# OPTIONS in the file-to-be-processed. If any syslib related options
454 # *only* are found, add them to the module search list (and take them off once
455 # we're through with this module.)
458 $options = &check_for_source_options($file_to_read);
459 if ($options ne "") {
460 @Old_Syslibs=@Syslibs;
461 $ProcessingOptions=1;
462 &mangle_command_line_args(split(/\s+/,$options));
463 if (@Old_Syslibs ne @Syslibs) {
465 @Old_Ignore_dirs = @Ignore_dirs;
466 &gather_import_dirs();
467 &preprocess_import_dirs();
471 # we mangle #include's so they will also leave something
472 # behind to indicate the dependency on _them_
476 &run_something("${SED} -e '/^# *include/{p;s/^# *include/!include/;}' $file_to_read | $Cpp $Include_dirs -I$last_seen_dir @Defines - 2>&1 > ${file_to_read}.i", $orig_src_file, 'cpp');
477 $read_from_file="${file_to_read}.i";
480 $read_from_file="${file_to_read}";
481 $open_cmd = $file_to_read;
483 print STDERR "$open_cmd\n" if $Verbose;
485 open(SRCFILE, $read_from_file) || die "$Pgm: Can't open $file_to_read: $!\n";
489 # import {-# SOURCE #-} Foo (bar) generates dependencies on the source file only,
490 # the compiler will deal with the absence of Foo.hi by consulting the
491 # source for Foo directly. (for dealing with recursive modules).
493 next unless (/^>?\s*(import)(\s+{-#\s*SOURCE\s*#-})?(\s+qualified)?\s+([A-Z][A-Za-z0-9_']*)/ || /^!(include)(\s+)"(\S+)"/);
495 $source = ( $2 ne '') ? 1 : 0;
498 next if $modname eq '';
499 &process_dependency($todo,$source,$modname);
502 if ($found_options) {
503 @Ignore_dirs = @Old_Ignore_dirs;
506 close(SRCFILE) || exit(1);
507 # remove temporary file, if any.
509 unlink("$read_from_file");
515 sub process_dependency {
516 local($todo,$source,$modname) = @_;
518 if ($todo eq 'import') {
519 if ( $IgnoreMe{$modname} eq 'Y' ) {
520 # user specifically asked for this module
522 $follow_file = '__ignore__';
523 } elsif ( $ModuleIn{$modname} ) {
524 $follow_file = "$ModuleIn{$modname}/$modname.hi";
527 &find_in_Import_dirs($orig_src_file, $modname, $last_seen_dir, $source );
531 = &find_in_Include_dirs($orig_src_file, $modname, $last_seen_dir);
534 if (! $follow_file) { # it didnae find anything
535 die "$orig_src_file: Couldn't handle: $_\n";
537 } else { # it found something
538 if ($follow_file ne '__ignore__') {
539 local($int_file) = $follow_file;
541 if ( $int_file !~ /\.(l?hs|hi|l?y)$/ ) {
543 foreach $obj (@Obj_suffix) {
545 foreach $suff (@File_suffix) {
546 $str .= "$bf.${suff}_$obj ";
549 push(@Depend_lines, "$str: $int_file\n");
551 $int_file =~ s/\.l?hs$//;
552 $int_file =~ s/\.l?y$//;
553 $int_file =~ s/\.hi$//;
557 # if a version specific .hi-boot file exist, use it.
558 if ( -f "$int_file.hi-boot-${HiBootVersion}" ) {
559 $source_dep = "$int_file.hi-boot-${HiBootVersion}";
561 $source_dep = "$int_file.hi-boot";
565 foreach $obj (@Obj_suffix) {
568 push(@Depend_lines, "$str: $int_file.hi\n");
572 foreach $suff (@File_suffix) {
574 foreach $obj (@Obj_suffix) {
575 $str .= "$bf.${suff}_$obj ";
577 push(@Depend_lines, "$str: $int_file.${suff}_hi\n");
581 foreach $obj (@Obj_suffix) {
583 foreach $suff (@File_suffix) {
584 $str .= "$bf.${suff}_$obj ";
587 push(@Depend_lines, "$str: $source_dep\n");
594 # when we see something, we cache that fact ('y').
595 # also, when we get a miss, we cache that (so we don't try later); ('n')
598 sub find_in_Import_dirs {
599 local($orig_src_file, $modname, $last_seen_dir, $source) = @_;
601 local($do_magical_check) = 0;
602 local($name_to_check);
604 # do it the old hard way: hop along Import_dir list
605 foreach $import_dir (@Import_dirs) {
607 if ($import_dir eq '.') {
608 # record that we should do a SPECIAL try for a file in last_seen_dir (LAST)
609 $do_magical_check = 1;
612 $name_to_check = "$import_dir/$modname.hi";
613 if ( $FileExists{$name_to_check} ne 'n' ) { # either 'y' or nothing
614 print STDERR "trying $name_to_check...\n" if $Verbose >= 2; # very verbose
615 return($name_to_check) if $FileExists{$name_to_check} eq 'y';
616 if (-f $name_to_check) {
617 $FileExists{$name_to_check} = 'y';
618 return($name_to_check) ;
620 $FileExists{$name_to_check} = 'n';
624 for $suff ('hs', 'lhs', 'ly', 'y') {
625 $name_to_check = "$import_dir/$modname.$suff";
626 print STDERR "trying... $name_to_check\n" if $Verbose >= 2; # very verbose
627 return($name_to_check) if -f $name_to_check;
631 $name_to_check = "$import_dir/$modname.hi-boot-${HiBootVersion}";
632 print STDERR "trying... $name_to_check\n" if $Verbose >= 2; # very verbose
633 return($name_to_check) if -f $name_to_check;
635 $name_to_check = "$import_dir/$modname.hi-boot";
636 print STDERR "trying... $name_to_check\n" if $Verbose >= 2; # very verbose
637 return($name_to_check) if -f $name_to_check;
640 if ($do_magical_check == 1) {
641 $name_to_check = "$last_seen_dir/$modname.hi";
643 if ( $FileExists{$name_to_check} ne 'n' ) { # either 'y' or nothing
644 print STDERR "trying $name_to_check...\n" if $Verbose >= 2; # very verbose
645 return($name_to_check) if $FileExists{$name_to_check} eq 'y';
646 if (-f $name_to_check) {
647 $FileExists{$name_to_check} = 'y';
648 return($name_to_check) ;
650 $FileExists{$name_to_check} = 'n';
654 for $suff ('lhs', 'hs', 'ly', 'y') {
655 $name_to_check = "$last_seen_dir/$modname.$suff";
656 print STDERR "trying... $name_to_check\n" if $Verbose >= 2; # very verbose
657 return($name_to_check) if -f $name_to_check;
661 # OK, maybe it's referring to something in a system library
662 #foreach $lib ( @Syslibs ) {
663 # return('__ignore__') if $LibIfaces{"$lib:$modname"};
666 # Last hope: referring to a Prelude interface
667 return('__ignore__') if ( $IgnoreMe{$modname} eq 'y' );
669 die "No file `$modname.hi', `$modname.lhs', `$modname.hs' (reqd from file `$orig_src_file')\namong import directories:\n\t$Import_dirs\n";
672 sub find_in_Include_dirs {
673 local($orig_src_file, $name, $last_seen_dir) = @_;
675 local($do_magical_check) = 0;
677 # no funny name guessing here
679 # hop along Include_dir list
680 foreach $include_dir (@Include_dirs) {
681 $include_dir =~ s/^-I//;
684 if ($include_dir eq '.') {
685 # record that we should do a SPECIAL try for a file in last_seen_dir (LAST)
686 $do_magical_check = 1;
688 print STDERR "trying $include_dir/$name...\n" if $Verbose >= 2; # very verbose
689 if (-f "$include_dir/$name") {
690 return("$include_dir/$name");
693 if ($do_magical_check == 1) {
694 print STDERR "trying $last_seen_dir/$name...\n" if $Verbose >= 2; # very verbose
695 if (-f "$last_seen_dir/$name") {
696 return("$last_seen_dir/$name");
699 die "No file `$name' (reqd from file `$orig_src_file') among include directories: $Include_dirs\n";
702 # out of the driver, actually
704 local($str_to_do, $file_to_read, $tidy_name) = @_;
706 print STDERR "\n$tidy_name:\n\t" if $Verbose;
707 print STDERR "$str_to_do\n" if $Verbose;
709 local($return_val) = system($str_to_do) >> 8;
711 if ($return_val != 0) {
712 local($die_msg) = "$Pgm: Running $tidy_name ( on $file_to_read ) failed";
713 $die_msg .= " program not found: $str_to_do " if $return_val == 255;
714 $die_msg .= " ($!)" if $Verbose && $! != 0;
716 print STDERR $die_msg;
721 # out of the driver too.
722 sub check_for_source_options {
724 local($comment_start,$comment_end);
726 # Assume it is a file containing Haskell source
727 $comment_start = "{-#";
728 $comment_end = "#-}";
730 open(FILE,$file) || return ""; # No big loss
733 if ( /^${comment_start} OPTIONS (.*)${comment_end}/ ) {
734 # return the options.
736 print STDERR "Found OPTIONS $stuff in $file\n" if $Verbose;
740 elsif ( /^$/ ) { # ignore empty lines
743 elsif ( /^#line.+$/ ) { # ignore comment lines (unused..ToDo: rm )
746 elsif ( /^{-# LINE.+$/ ) { # ignore line pragmas
749 else { # stop looking, something non-empty / not
750 # ${comment_start} OPTIONS .. ${comment_end} encountered.
751 close(FILE);return "";