Changeset f63b13 in git for Singular

Timestamp:

Feb 12, 2013, 6:38:23 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

787ec4ed0bff77b2fd30601d7e99562b7f71fb7a

Parents:

643877cb2b7ba9e8b5c640ed05630fa816f821a0

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-02-12 18:38:23+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2013-02-13 17:13:27+01:00

Message:

Optional starting of Google Profiler

NOTE: also needs to link with -lprofiler (google tools)

NOTE: with the use of schreyer.lib: use ProfilerStart(file_name)/ProfilerStop()

File:

• Singular/LIB/schreyer.lib (modified) (2 diffs)

Singular/LIB/schreyer.lib

@@ -1428 +1428 @@
 //      exportto(Schreyer, Syzextra::p_Content);
 
+      exportto(Schreyer, Syzextra::ProfilerStart); exportto(Schreyer, Syzextra::ProfilerStop);
+
       exportto(Schreyer, Syzextra::Tail);
 
@@ -1466 +1468 @@
 //      exportto(Schreyer, Syzextra_g::p_Content);
 
+      exportto(Schreyer, Syzextra_g::ProfilerStart); exportto(Schreyer, Syzextra_g::ProfilerStop);
+
       exportto(Schreyer, Syzextra_g::Tail);