Lines Matching refs:MAKEFILE
37 # Makefile.many
61 # make -f Makefile.many speed-many
69 # make -f Makefile.many try-many
104 # make -f Makefile.many speed-many
138 # Makefile.many also has rules to build the tests/devel programs with suitable
143 # make -f Makefile.many tests_mul_1_experimental
148 # make -f Makefile.many tests_mul_1_experimental_sp
155 # defaults are provided at the end of Makefile.many, but probably these will
159 # make -f Makefile.many \
796 open(MAKEFILE, "<${builddir}/Makefile")
797 or die "Cannot open ${builddir}/Makefile: $!\n"
800 while (<MAKEFILE>) {
804 die "Cannot find \$srcdir in Makefile\n" if (! defined $srcdir);
805 die "Cannot find \$top_srcdir in Makefile\n" if (! defined $top_srcdir);
808 close(MAKEFILE);
849 open(MAKEFILE, ">Makefile.many") or die;
850 print MAKEFILE
851 "# Makefile.many generated by many.pl - DO NOT EDIT, CHANGES WILL BE LOST\n" .
855 "#--------- begin included copy of basic Makefile ----------\n" .
857 open(FD,"<${builddir}/Makefile") or die "Cannot open \"${builddir}/Makefile\": $!\n";
858 print MAKEFILE <FD>;
860 print MAKEFILE
862 "#--------- end included copy of basic Makefile ----------\n" .
877 print MAKEFILE <<EOF;
1046 print MAKEFILE "\n";
1048 print MAKEFILE
1058 print MAKEFILE
1069 print MAKEFILE
1077 print MAKEFILE
1111 print MAKEFILE <<EOF;
1295 print MAKEFILE <<EOF;
1302 MANY_DISTCLEAN = Makefile.many
1320 print MAKEFILE <<EOF;
1326 close MAKEFILE or die;