Changeset cd254c in git

Timestamp:

Dec 9, 1997, 11:57:19 AM (26 years ago)

Author:

Jens Schmidt <schmidt@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

1d98dbc0614e3c0d1a7a51150922a70a13fdbfc9

Parents:

4e8da257eb53acdc68891dc38d6f060298385436

Message:

	* makeheader.pl: output format and error messages adapted to shell
	  version

	* makeheader.pl (searchpath): avoids slashes in path when searching
	  for files in current directory


git-svn-id: file:///usr/local/Singular/svn/trunk@956 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/bin/makeheader.pl (modified) (8 diffs)

factory/bin/makeheader.pl

@@ -1 +1 @@
 #!/usr/bin/perl
-# $Id: makeheader.pl,v 1.2 1997-04-17 14:31:30 schmidt Exp $
+# $Id: makeheader.pl,v 1.3 1997-12-09 10:57:19 schmidt Exp $
+
 #
-# makeheader.pl - generate a header file out of several header file (ver 1.2).
+# makeheader.pl - generate a header file out of several header files.
+#
+# Type 'makeheader.pl -?' for instructions on syntax/usage.
 #
 
@@ -11 +14 @@
     local ( $file, $path ) = @_;
     for ( split ( /:/, $path ) ) {
-        if ( -f "$_/$file" ) {
+        if ( /^\.$/ && -f $file ) {
+            return $file; }
+        elsif ( -f "$_/$file" ) {
             return "$_/$file";
         }
@@ -19 +24 @@
         
 if ( ( $#ARGV == -1 ) || ( $ARGV[0] =~ /-help|-\?/ ) ) {
-    die "
-usage: makeheader [-?] {-I<includedir>} <templatefile> <outfile>
+    die "usage: makeheader [-?] {-I<includedir>} <templatefile> <outfile>
 
 This is makeheader, a header file generation tool.
@@ -43 +47 @@
 
 <includefile> is looked up in all <includedir>s, then in the
-current directory, then in the base directory of
-<templatefile>.\n";
+current directory, then in the base directory of <templatefile>.\n";
 }
 
 # get list of include directories
 $includes = "";
-while ( $ARGV[0] =~ /^-/ ) {
+while ( $ARGV[0] =~ /^-I/ ) {
     $_ = shift;
     if ( /^-I(.*)/ ) {
@@ -59 +62 @@
 # check for rest of arguments
 if ( $#ARGV < 1 ) {
-    die "usage: makeheader [-?] {-I<includedir>} <templatefile> <outfile>\n\n";
+    die "usage: makeheader [-?] {-I<includedir>} <templatefile> <outfile>\n";
 }
 
@@ -69 +72 @@
 
 open( INFILE, $infile ) || 
-    die "makeheader: Can not open template file $infile for reading!\n";
+    die "makeheader: Cannot open template file $infile for reading\n";
 open( OUTFILE, ">$outfile" ) ||
-    die "makeheader: Can not open header file $outfile for writing!\n";
+    die "makeheader: Cannot open header file $outfile for writing\n";
+
+print OUTFILE "/* $outfile automatically generated by makeheader from $infile */\n";
 
 while( <INFILE> ) {
@@ -87 +92 @@
             $inclfile = $1;
         } else {
-            die "makeheader: $_ is not a valid include directive!\n";
+            die "makeheader: Invalid include statement $_\n";
         }
 
         $inclfile = &searchpath( $inclfile, $includes ) ||
-            die "makeheader: Can not open included file $inclfile for reading!\n";
+            die "makeheader: Include file $includefile not found\n";
         open( INCLFILE, $inclfile ) ||
-            die "makeheader: Can not open included file $inclfile for reading!\n";
+            die "makeheader: Cannot open include file $inclfile for reading!\n";
 
-        print OUTFILE "\n/* Stuff included from $inclfile */\n";
+        print OUTFILE "/* stuff included from $inclfile */\n\n";
         if ( $public_only ) {
             # read public part only
@@ -116 +121 @@
     }
 }
-print OUTFILE "\n/* $outfile automatically generated by $0 on " .
-    `date` . "*/\n";
 
 close OUTFILE;