#! /bin/sh --
eval '(exit $?0)' && eval 'PERL_BADLANG=x;export PERL_BADLANG;: \
;exec perl -T -S -- "$0" ${1+"$@"};#'if 0;
eval 'setenv PERL_BADLANG x;exec perl -x -S -- "$0" $argv:q;#'.q
#!perl -w
+($0=~/(.*)/s);do$1;die$@if$@;__END__+if 0;
# Don't touch/remove lines 1--7: http://www.inf.bme.hu/~pts/Magic.Perl.Header
#
# ccdep.pl v0.32 -- semiautomatic dependency discovery for C/C++ programs
# by [email protected] at Fri May 31 13:36:29 CEST 2002
# 0.31 by [email protected] at Sat Jun  1 15:19:55 CEST 2002
# 0.32 by [email protected] at Tue Sep  3 19:12:20 CEST 2002
# 0.33 by [email protected] at Thu Oct 31 09:47:25 CET 2002
#
# Dat: no -T (tainting checks) anymore, does bad to our readpipe()
# OK : emit `TARGETS_yes = ...'
# Imp: make #warning etc. in *.h files work as expected
# OK : generated.h
# Imp: add external libraries (-L...)
# Imp: abort if gcc command not found...
# Imp: abort if not all .o are mentioned in gcc output
# Imp: avoid $ etc. in Makefile
# OK : all 8 combinations of PROVIDES|REQUIRES|CONFLICTS
#
BEGIN { eval { require integer; import integer } }
BEGIN { eval { require strict ; import strict  } }

# Typical invocation: ccdep.pl --FAL=assert,no,yes,checker $(CXX)
my @FAL=();
if (@ARGV and $ARGV[0]=~/\A--FAL=(.*)/s) { @FAL=split/\W+/,$1; shift@ARGV }
my $GCCP; # 'g++' or 'gcc': C/C++ preproc with `-E -MG' switches
$GCCP="@ARGV";
$GCCP="gcc" if $GCCP!~y/ \t//c;

# Make sure we get English error messages from gcc.
delete $ENV{LANG};
delete $ENV{LANGUAGE};
$ENV{LC_ALL} = "C";

# ---

# Returns true iff the passed filename is a C or C++ source file (and not .o
# or .h or anything else).
sub is_ds($) {
 my $FN = $_[0];
 return $FN =~ /\.(c(|c|xx|pp|[+][+])|C)\Z(?!\n)/;
}

sub find_ds() {
 #** @return a list of .ds file in the current directory
 my @L;  my $E;
 die unless opendir DIR, '.';
 while (defined($E=readdir DIR)) {
   push @L, $E if is_ds($E) and -f $E;
 }
 @L
}

sub expand_glob($$ $) {
 #** @param $_[0] string containing globs (? and *)
 #** @param $_[1] listref of names
 #** @param $_[2] dest listref
 my $S=quotemeta($_[0]);
 if (0==($S=~s@\\([?*])@.$1@g)) { push @{$_[2]}, $_[0]; return }
 my $RE=eval"+sub{\$_[0]=~/$S/}";
 die$@if$@;
 for my $E (@{$_[1]}) { push @{$_[2]}, $E if $RE->($E) }
}

sub mustbe_subset_of($$ $$) {
 #** A must be a subset (sublist) of B
 #** @param $_[0] caption A
 #** @param $_[1] ref(array(string)) A
 #** @param $_[2] caption B
 #** @param $_[3] ref(array(string)) B
 my @A=sort @{$_[1]};
 my @B=sort @{$_[3]};
 my($AV,$BV);
 while (defined($AV=pop@A)) {
   1 while defined($BV=pop@B) and $BV gt $AV;
   if (!defined($BV) or $BV ne $AV) {
     print STDERR "$0: $_[0] are: @{$_[1]}\n";
     print STDERR "$0: $_[2] are: @{$_[3]}\n";
     die "$0: $_[0] must be a subset of $_[2]\n";
   }
 }
}

# ---

print "$0: running.\n";

sub unix_shq($) {
 my $S=$_[0];
 $S=~s@'@'\\''@g;
 "'$S'"
}

sub shq($) {
 my $S=$_[0];
 return $S if $S!~/[^\w.-]/;
 if ($^O =~ /(?:win32|win64|windows)/i) {  # $^O eq 'MSWin32'
   # assume the called program is CygWin/Ming32; see later
   # Arguments are delimited by white space, which is either a space or a tab.
   # .       A string surrounded by double quotation marks is interpreted as a
   # single argument, regardless of white space contained within. A quoted
   # string can be embedded in an argument. Note that the caret (^) is not
   # recognized as an escape character or delimiter.
   # .       A double quotation mark preceded by a backslash, \", is interpreted as
   # a literal double quotation mark (").
   # .       Backslashes are interpreted literally, unless they immediately precede
   # a double quotation mark.
   # .       If an even number of backslashes is followed by a double quotation
   # mark, then one backslash (\) is placed in the argv array for every pair
   # of backslashes (\\), and the double quotation mark (") is interpreted as
   # a string delimiter.
   # .       If an odd number of backslashes is followed by a double quotation
   # mark, then one backslash (\) is placed in the argv array for every pair
   # of backslashes (\\) and the double quotation mark is interpreted as an
   # escape sequence by the remaining backslash, causing a literal double
   # quotation mark (") to be placed in argv.
   $S =~ s@(\\+)(?="|\Z(?!\n))@$1$1@;
   $S=~s@"@\\"@g; return qq{"$S"}
 } else {
   $S=~s@'@'\\''@g; return qq{'$S'}
 }
}
#die shq(q{foo\b"ar\\}) eq q{"foo\b\"ar\\\\"};  # For Win32.

sub backtick(@) {
 my $S=$_[0];
 if ($^O eq 'MSWin32') {
   # assume the called program is CygWin/Ming32; and we have proper /bin/sh
   $S="sh -c ".unix_shq($S); # /bin/sh can handle IO-redirections such as `2>&1' right
 } else {
   # assume UNIX
 }
 print "+ $S\n";
 #die unless $ENV{PATH}=~/(.*)/s; # Dat: untaint()
 #$ENV{PATH}=$1;
 #die "$ENV{PATH}";
 # Dat: if `.' is part of $ENV{PATH}, `Insecure directory...' is reported
 #die unless $S=~/(.*)/s; # Dat: untaint()
 readpipe $S # `` qx``
}

my @DS=find_ds();
my @DSQ=map{shq$_}@DS;
# g++-4.6 has it, clang++-3.4 doesn't but we don't care to rerun.
my $DIAG = "";
my $Q="$GCCP -DOBJDEP$DIAG -M -MG -E 2>&1 @DSQ";
my $R=backtick($Q);

if ($R!~/#\s*warning\s/) {
 # config2.h:314:4: warning: #warning REQUIRES: c_lgcc3.o
 # Dat: g++-3.3 and g++-4.8 omit #warning (implicit -w) with -M -MG -E.
 #      clang++-3.4 still emits warnings, so no need to rerun here.
 $R.="\n".backtick("$GCCP -DOBJDEP$DIAG -E 2>&1 >/dev/null @DSQ");
}

$R =~ s@\\\n@@g;  # Merge line continuations emitted by `gcc -M -MG'.

#** $idep{"x.ds"} contains the .h and .ds dependency line for x.ds
my %idep;
#** $odep{"x.o"} is "x.ds"
my %odep;
my $included_from;

my @instructions;

while ($R=~/\G(.*)\n?/g) {
 my $S=$1;

 if ($S=~/\AIn file included from (?:[.]\/)*([^:]+)/) {
   # If foo.cpp includes foo.hpp, which includes bar.hpp, then
   # clang++-3.4 emits these in a row: foo.cpp, ./foo.hpp, and no bar.hpp.
   # We want to keep only foo.cpp, hence we check
   # `if !defined($included_from)'.
   $included_from=$1 if !defined($included_from);
     # Bottommost includer.
 } elsif ($S=~/\A\s{3,}from (?:[.]\/)*([^:]+)/) {  # From gcc-3.2.
   $included_from=$1;  # Higher includer, we override the previous one, because we need the topmost one.
 } elsif ($S=~/\A(?:[.]\/)*([^:]+):\d+:(\d+:)? warning: (?:#warning )?([A-Z][-A-Z]{2,}):(.*)\Z/) {
   # ^^^ (\d+:)? added for gcc-3.1
   # ^^^ clang: appliers.cpp:554:6: warning: REQUIRES: out_gif.o [-W#warnings]
   my($DS,$B,$features)=($1, $3, $4);  # $B is e.g. 'PROVIDES'.
   if (defined $included_from) { $DS=$included_from; undef $included_from }
   die "$0: #include detection broken: expected non-header source file, got $DS in line: $S\n" if
       not is_ds($DS);
   die "$0: unknown dependency verb $B in line: $S\n" if
       $B !~ m@\A(NULL-PROVIDES|PROVIDES|CONFLICTS|REQUIRES)\Z(?!\n)@;
   for my $feature (split ' ',$features) {
     if ($feature !~ m@\A\[-W@) {  # g++-4.8 generates extra [-Wcpp] lines.
       #print "INSTR $DS $B $feature\n";
       push @instructions, [$DS, $B, $feature];
     }
   }
 } elsif ($S=~/\A([^: ]+)\.o:( ([^: ]+?)\.([^ \n]+).*)\Z/s and $1 eq $3) {
   # Dependency output of `gcc -M -MG'.

   # $O: The .o file.
   # $B: All the source dependencies (.cpp, .cxx, .cc, .C, .c, .ci etc.).
   # $DS: The .ds file: the source file corresponding to the .o file, e.g.
   #     $O is 'encoder.o', $DS is 'encoder.cpp'.
   my($O,$B,$DS)=("$1.o",$2,"$3.$4");
   # ^^^ Dat: maybe both t.c and t.cxx
   $B =~ s@ /[^ ]+@@g; # remove absolute pathnames
   $B =~ s@\s+@ @g;  $B =~ s@\A\s*@ @;  $B =~ s@\s*\Z(?!\n)@ @;
   die "$0: .o file in sources for $DS: $B" if $B =~ m@ [.]o @;
   # Example reason: foo.c and foo.cpp both present as source files.
   die "$0: .o file generated from multiple sources: $O and $odep{$O}" if
       exists $odep{$O};
   die if exists $idep{$DS};  # Shouldn't happen, $odep{$O} would exist first.
   $odep{$O}=$DS;
   $idep{$DS}=$B;
   push @instructions, [$DS, 'PROVIDES', $O];
   undef $included_from;
 } elsif ($S=~/: (?:warning|error|fatal error|fatal):/) {
   undef $included_from;
 } else {
   # Be resilient, and just ignore every other possible message here. This is
   # for future compatibility with compilers. The infamous `invalid depret'
   # error by ccdep.pl used to be here, but now it's gone.
 }
}
undef $included_from;  # Save memory.
%odep=();  # Save memory.

#** $pro{"x.ds"} is the list of features provided by "x.ds"; multiplicity
my %pro;
#** $req{"x.ds"} is the list of features required by "x.ds"; multiplicity
my %req;
#** $con{"x.ds"} is the list of features conflicted by "x.ds"; multiplicity
my %con;
#** $repro{"feature"} is a hash=>1 of .ds that provide "feature"
my %repro;
#** $mapro{"executable"} eq "x.ds" if "x.ds" provides main() for "executable".
#** It looks like values are never used.
my %mapro;
#** hash=>1 of "feature"s of NULL-PROVIDES
my %nullpro;
for my $instruction (@instructions) {
 my($DS, $verb, $feature) = @$instruction;
 if ($verb eq 'NULL-PROVIDES') {
   $nullpro{$feature} = 1;
 } elsif ($verb eq 'PROVIDES') {
   push @{$pro{$DS}}, $feature;
   push @{$con{$DS}}, $feature;
   $repro{$feature}{$DS}=1;
   if ($feature=~/\A(.*)_main\Z/) { $mapro{$1}=$DS }
 } elsif ($verb eq 'REQUIRES') {
   push @{$req{$DS}}, $feature;
 } elsif ($verb eq 'CONFLICTS') {
   push @{$con{$DS}}, $feature;
 } else {
   die "$0: unknown verb in instruction: @$instruction\n";  # Never happens.
 }
}
@instructions=();  # Save memory.

mustbe_subset_of "providers"=>[sort keys(%pro)], "dep_sources"=>[sort keys(%idep)];
mustbe_subset_of "dep_sources"=>[sort keys(%idep)], "sources"=>\@DS;

{ my @K=keys %repro;
 for my $DS (sort keys%con) {
   my $L = $con{$DS};
   my @R=();
   for my $feature (@$L) { expand_glob $feature, \@K, \@R }
   # ^^^ multiplicity remains
   $con{$DS}=\@R;
 }
}

my $outfn = "Makedep";
die unless open MD, "> $outfn";
die unless print MD '
ifndef CCALL
CCALL=$(CC) $(CFLAGS) $(CFLAGSB) $(CPPFLAGS) $(INCLUDES)
endif
ifndef CXXALL
CXXALL=$(CXX) $(CXXFLAGS) $(CXXFLAGSB) $(CPPFLAGS) $(INCLUDES)
endif
ifndef LDALL
LDALL=$(LDY) $(LDFLAGS) $(LIBS)
endif
ifndef CC
CC=gcc
endif
ifndef CXX
CXX=g++
endif
ifndef LD
LD=$(CC) -s
endif
ifndef LDXX
LDXX=$(CXX) -s
endif
ifndef LDY
LDY=$(LD)
endif
ifndef CFLAGS
CFLAGS=-O2 -W -Wall -fsigned-char
endif
ifndef CXXFLAGS
CXXFLAGS=-O2 -W -Wall -fsigned-char
endif
ifndef GLOBFILES
GLOBFILES=Makefile $outfn
endif
';

die unless print MD "ALL +=", join(' ',sort keys%mapro), "\n";
die unless print MD "TARGETS =", join(' ',sort keys%mapro), "\n";

# vvv Thu Oct 31 09:49:02 CET 2002
# (not required)
#my %targets_fal;
#for my $FA (@FAL) { $targets_fal{$FA}="TARGETS_$FA =" }

for my $EXE (sort keys%mapro) {
 print "exe $EXE\n";
 my @REQO  = (); # Will be list of .o files required by $EXE.
 my @REQDS = (); # Will be list of .ds files required $EXE.
 my @REQH  = (); # Will be list of .h files required $EXE.

 # Find the transitive dependencies of $EXE, save to @REQO, @REQDS, @REQH.
 {
   my %CON=(); # hash=>1 of features already conflicted
   my %PRO=%nullpro; # hash=>1 of features already provided
   my $feature;
   my @features_to_analyze=("${EXE}_main");
   while (defined($feature=pop@features_to_analyze)) {
     next if exists $PRO{$feature};
     #print "feat $feature (@features_to_analyze)\n"; ##
     # vvv Dat: r.b.e == required by executable
     die "$0: feature $feature r.b.e $EXE conflicts\n" if exists $CON{$feature};
     my @L=sort keys%{$repro{$feature}};
     die "$0: feature $feature r.b.e $EXE unprovided\n" if!@L;
     die "$0: feature $feature r.b.e $EXE overprovided: @L\n" if$#L>=1;
     # Now: $L[0] is a .ds providing the feature
     push @REQDS, $L[0];
     my $O=$L[0]; $O=~s@\.[^.]+\[email protected]@;
     push @REQO, $O;

     $PRO{$feature}=1;
     for my $feature2 (@{$pro{$L[0]}}) {
       die "$0: extra feature $feature2 r.b.e $EXE conflicts\n" if exists $CON{$feature2} and not exists $PRO{$feature2};
       $PRO{$feature2}=1;
     }
     for my $feature2 (@{$req{$L[0]}}) {
       push @features_to_analyze, $feature2 if!exists $PRO{$feature2}
     }
     for my $feature2 (@{$con{$L[0]}}) { $CON{$feature2}=1 }
     # die if! exists $PRO{$feature}; # assert
   }
   my %REQH;
   for my $DS (@REQDS) {
     for my $HDS (split' ', $idep{$DS}) {
       $REQH{$HDS} = 1 if !is_ds($HDS);
     }
   }
   push @REQH, sort keys %REQH;
 }

 die unless print MD "${EXE}_DS=@REQDS\n${EXE}_H=@REQH\n".
   "$EXE: \$(GLOBFILES) @REQO\n\t\$(LDALL) @REQO -o $EXE\n\t".
   q!@echo "Created executable file: !.$EXE.
   q! (size: `perl -e 'print -s "!.$EXE.q!"'`)."!. "\n";
 # vvv Sat Jun  1 15:40:19 CEST 2002
 for my $FA (@FAL) {
   die unless print MD
       "$EXE.$FA: \$(GLOBFILES) \$(${EXE}_DS) \$(${EXE}_H)\n\t".
       "\$(CXD_$FA) \$(CXDFAL) \$(${EXE}_DS) -o $EXE.$FA\n";
   # $targets_fal{$FA}.=" $EXE.$FA";
 }
}
print MD "\n";

# vvv Thu Oct 31 09:49:02 CET 2002
# (not required)
# for my $FA (@FAL) { print MD "$targets_fal{$FA}\n" }
# print MD "\n";

for my $K (sort keys%idep) {
 my $V = $idep{$K};
 my $O=$K; $O=~s@\.([^.]+)\[email protected]@; my $srcext = $1;
 my @V = sort split' ', $V;
 my $compiler = $srcext eq'c'?"CC":"CXX";
 print MD "$O: \$(GLOBFILES) @V\n\t\$(${compiler}ALL) -c $K\n"
}
print MD "\n";

die unless close MD;

print "$0: done, created $outfn\n";

__END__