Changeset 795d89 in git for Singular/libparse.l

Timestamp:

Mar 6, 1998, 1:12:03 PM (26 years ago)

Author:

Kai Krüger <krueger@…>

Branches:

(u'spielwiese', 'df6a8e29030ff93c6ad53051028727af7d339fa0')

Children:

283282fc7cef638daeb4e004f647d349fd6bde02

Parents:

75089b3a44a7153144bc81558fe5970e85ace8fd

Message:

small fixes in libparse.


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

File:

• Singular/libparse.l (modified) (4 diffs)

Singular/libparse.l

@@ -3 +3 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: libparse.l,v 1.1 1998-03-06 11:49:24 krueger Exp $ */
+/* $Id: libparse.l,v 1.2 1998-03-06 12:12:03 krueger Exp $ */
 #include <stdio.h>
 #include <string.h>
@@ -149 +149 @@
 string         ({letters}*)
 comment        [\/][\/]
+dolar          [$]
 
 /* %start START */
@@ -220 +221 @@
                          }
 
-<header>({comment}+[ \t]*+$Id: libparse.l,v 1.1 1998-03-06 11:49:24 krueger Exp $Header:+{string}+[^\n]*) {
+<header>({comment}+[ \t]*+{dolar}+Id:+{string}+[^\n]*)|({comment}+[ \t]*+{dolar}+Header:+{string}+[^\n]*) {
                            char ver[10];
                            char date[16];
@@ -531 +532 @@
    //printf("loading %s%s", p, libnamebuf);
 #else
-   Warn( "loading %s%s", p, libnamebuf);
+   if (BVERBOSE(V_LOAD_LIB))
+      Warn( "loading %s%s", p, libnamebuf);
 #endif
 }