[SCM] Packaging for covered branch, master, updated. deade880c48e3917d2d7474f14ee9c30c48e2356

أحÙد الÙØ­Ùودي (Ahmed El-Mahmoudy) aelmahmoudy at users.sourceforge.net
Wed Aug 5 18:12:30 UTC 2009 

The following commit has been merged in the master branch:
commit deade880c48e3917d2d7474f14ee9c30c48e2356
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>
Date:   Wed Aug 5 21:11:45 2009 +0300

    Install system-wide coveredrc file to /etc/coveredrc

diff --git a/debian/changelog b/debian/changelog
index 224dee9..35aa345 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,5 +5,7 @@ covered (0.7.5-1) UNRELEASED; urgency=low
   * Added tclscript_install.diff to
     + install Tcl scripts without setting the executable bit
     + remove shebang from main_view.tcl
+  * Added coveredrc.diff patch to install system-wide coveredrc file in 
+    /etc/coveredrc
 
  -- أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>  Mon, 03 Aug 2009 20:22:43 +0300
diff --git a/debian/covered.install b/debian/covered.install
index 2f7b777..d93994f 100644
--- a/debian/covered.install
+++ b/debian/covered.install
@@ -2,3 +2,4 @@ usr/bin/
 usr/share/covered/scripts/
 usr/share/man/
 usr/lib/
+etc/
diff --git a/debian/patches/coveredrc.diff b/debian/patches/coveredrc.diff
new file mode 100644
index 0000000..aefa7d4
--- /dev/null
+++ b/debian/patches/coveredrc.diff
@@ -0,0 +1,377 @@
+Install system-wide coveredrc file in /etc/coveredrc
+--- a/scripts/Makefile.in
++++ b/scripts/Makefile.in
+@@ -212,8 +212,8 @@
+               viewer.tcl \
+               wizard.tcl
+ 
+-cfgdir = $(datadir)/covered
+-cfg_DATA = .coveredrc
++cfgdir = $(sysconfdir)
++cfg_DATA = coveredrc
+ all: all-am
+ 
+ .SUFFIXES:
+--- /dev/null
++++ b/scripts/coveredrc
+@@ -0,0 +1,172 @@
++# Covered GUI Configuration File
++#--------------------------------
++# All variable assignments below are in the form of "variable = value"
++# where whitespace must be present between the variable, the "=" character
++# and the value.  Comment lines start with the "#" character.
++
++# If set to true, causes the wizard window to be displayed on GUI startup.
++# If set to false, the wizard window is suppressed.
++
++ShowWizardOnStartup = true
++
++# If set to true, causes various GUI elements to be saved when exiting the application
++# which will be used when the application is restarted at a later time.  Set to false
++# to cause the Covered GUI to use the default values.
++
++SaveGuiOnExit = true
++
++# If set to true, causes tooltips to be used for many widgets within the GUI.  If set
++# to false, causes all tooltip support to be disabled.
++ShowTooltips = true
++
++# Sets the foreground color for all source code that is found
++# to be uncovered during simulation.  The value can be any legal color
++# value accepted by Tcl.
++
++UncoveredForegroundColor = #000000
++
++# Sets the background color for all source code that is found
++# to be uncovered during simulation.  The value can be any legal color
++# value accepted by Tcl.
++
++UncoveredBackgroundColor = #a14756
++
++# Sets the foreground color for all source code that is found
++# to be covered during simulation.  The value can be any legal color value
++# accepted by Tcl.
++
++CoveredForegroundColor = black
++
++# Sets the background color for all source code that is found
++# to be covered during simulation.  The value can be any legal color value.
++# accepted by Tcl.
++
++CoveredBackgroundColor = #90ee90
++
++# Sets the foreground color for all source code that has been detected as
++# containing a race condition situation.  This code is not analyzed by Covered.
++# The value can be any legal color value accepted by Tcl.
++
++RaceConditionForegroundColor = white
++
++# Sets the background color for all source code that has been detected as
++# containing a race condition situation.  This code is not analyzed by Covered.
++# The value can be any legal color value accepted by Tcl.
++
++RaceConditionBackgroundColor = blue
++
++# Causes the summary color for a module/instance that has achieved a line
++# coverage percentage greater than or equal to this value (but not 100%) to be
++# colored "yellow", indicating that the line coverage can possibly be deemed
++# "good enough".  This value must be in the range of 0 - 100.
++
++AcceptableLinePercentage = 90
++
++# Causes the summary color for a module/instance that has achieved a toggle
++# coverage percentage greater than or equal to this value (but not 100%) to be
++# colored "yellow", indicating that the toggle coverage can possibly be deemed
++# "good enough".  This value must be in the range of 0 - 100.
++
++AcceptableTogglePercentage = 90
++
++# Causes the summary color for a module/instance that has achieved a memory
++# coverage percentage greater than or equal to this value (but not 100%) to be
++# colored "yellow", indicating that the memory coverage can possibly be deemed
++# "good enough".  This value must be in the range of 0 - 100.
++
++AcceptableMemoryPercentage = 90
++
++# Causes the summary color for a module/instance that has achieved a combinational
++# logic coverage percentage greater than or equal to this value (but not 100%) to be
++# colored "yellow", indicating that the combinational logic coverage can possibly be
++# deemed "good enough".  This value must be in the range of 0 - 100.
++
++AcceptableCombinationalLogicPercentage = 90
++
++# Causes the summary color for a module/instance that has achieved an FSM state/arc
++# coverage percentage greater than or equal to this value (but not 100%) to be
++# colored "yellow", indicating that the FSM coverage can possibly be deemed
++# "good enough".  This value must be in the range of 0 - 100.
++
++AcceptableFsmPercentage = 90
++
++# Causes the summary color for a module/instance that has achieved an assertion
++# coverage percentage greater than or equal to this value (but not 100%) to be
++# colored "yellow", indicating that the assertion coverage can possibly be deemed
++# "good enough".  This value must be in the range of 0 - 100.
++
++AcceptableAssertionPercentage = 90
++
++# Causes syntax highlighting to be turned on or off.  This value should either be
++# 'on' or 'off'.
++
++HighlightingMode = on
++
++# When the syntax highlighting mode is on, causes the preprocessor directive keywords
++# to be highlighted with the specified color.  The value may be any color value that
++# is acceptable to Tk.
++
++HighlightPreprocessorKeywordColor = ForestGreen
++
++# When the syntax highlighting mode is on, causes the Verilog keywords to be highlighted
++# with the specified color.  The value may be any color value that is acceptable to Tk.
++
++HighlightKeywordColor = purple
++
++# When the syntax highlighting mode is on, causes any single or multi-line comments to
++# be highlighted with the specified color.  The value may be any color value that is
++# acceptable to Tk.
++
++HighlightCommentColor = blue
++
++# When the syntax highlighting mode is on, causes any defined, binary, octal, decimal or
++# hexidecimal value to be highlighted with the specified color.  The value may be any
++# color value that is acceptable to Tk.
++
++HighlightValueColor = red
++
++# When the syntax highlighting mode is on, causes any quoted string to be highlighted with
++# the specified color.  The value may be any color value that is acceptable to Tk.
++
++HighlightStringColor = red
++
++# When the syntax highlighting mode is on, causes any Verilog symbol to be highlighted with
++# the specified color.  The value may be any color value that is acceptable to Tk.
++
++HighlightSymbolColor = coral
++
++# If this value is set to true, a popup dialog box will be created whenever the user excludes a coverage
++# point, allowing for the creation of a reason for the exclusion.  If this value is set to false, no popup
++# box will be displayed when a coverage point is marked for exclusion.  The exclusion reason information
++# is saved to the CDD (if specified from the GUI).
++
++EnableExclusionReasons = 1
++
++# This string specifies default reasons for exclusion.  These reasons may be used wherever
++# a coverage point is excluded (or the user may specify a unique reason).
++
++ExclusionReasons = {Logic is obsolete but will not be removed for future enhancement possibilities. }
++
++# This value specifies how to handle exclusion reason conflicts that arise when two or more CDD files
++# are merged that contain mismatching exclusion reasons for identical coverage points.  The valid
++# values are the following:
++#   first - Use the exclusion reason from the first CDD file read in that contains the reason
++#   last  - Use the exclusion reason from the last CDD file read in that contains the reason
++#   all   - Merge all exclusion reasons into one
++#   new   - Use the newest exclusion reason specified
++#   old   - Use the oldest exclusion reason specified
++
++ExclusionReasonConflictResolution = all
++
++# THE FOLLOWING LINES ARE FOR STORING GUI STATE INFORMATION -- DO NOT MODIFY LINES BELOW THIS COMMENT!
++
++MainWindowGeometry                = 1000x548+41+139
++ToggleWindowGeometry              = 366x125+427+365
++MemoryWindowGeometry              = 
++CombWindowGeometry                = 804x408+10+73
++FsmWindowGeometry                 = 
++AssertWindowGeometry              = 
++ModuleInstanceType                = Instance
++ModuleInstanceTableListWidth      = 309
++ModuleInstanceTableListColumns    = 0:Instance Name:left:0:Module Name:left:0:Hit:right:0:Miss:right:0:Excluded:right:0:Total:right:0:Hit %:right:0:Index:left
++ModuleInstanceTableListInitHidden = 0:0:0:0:0:0:0
+--- a/scripts/preferences.tcl
++++ b/scripts/preferences.tcl
+@@ -79,8 +79,8 @@
+   } elseif {[file exists [file join $USER_HOME .coveredrc]] == 1} {
+     set rc [open [file join $USER_HOME .coveredrc] r]
+     set rc_file_to_write [file join $USER_HOME .coveredrc]
+-  } elseif {[file exists [file join $HOME .coveredrc]] == 1} {
+-    set rc [open [file join $HOME .coveredrc] r]
++  } elseif {[file exists "/etc/coveredrc"] == 1} {
++    set rc [open "/etc/coveredrc" r]
+     set rc_file_to_write [file join $USER_HOME .coveredrc]
+   } else {
+     set rc -1
+--- a/scripts/.coveredrc
++++ /dev/null
+@@ -1,172 +0,0 @@
+-# Covered GUI Configuration File
+-#--------------------------------
+-# All variable assignments below are in the form of "variable = value"
+-# where whitespace must be present between the variable, the "=" character
+-# and the value.  Comment lines start with the "#" character.
+-
+-# If set to true, causes the wizard window to be displayed on GUI startup.
+-# If set to false, the wizard window is suppressed.
+-
+-ShowWizardOnStartup = true
+-
+-# If set to true, causes various GUI elements to be saved when exiting the application
+-# which will be used when the application is restarted at a later time.  Set to false
+-# to cause the Covered GUI to use the default values.
+-
+-SaveGuiOnExit = true
+-
+-# If set to true, causes tooltips to be used for many widgets within the GUI.  If set
+-# to false, causes all tooltip support to be disabled.
+-ShowTooltips = true
+-
+-# Sets the foreground color for all source code that is found
+-# to be uncovered during simulation.  The value can be any legal color
+-# value accepted by Tcl.
+-
+-UncoveredForegroundColor = #000000
+-
+-# Sets the background color for all source code that is found
+-# to be uncovered during simulation.  The value can be any legal color
+-# value accepted by Tcl.
+-
+-UncoveredBackgroundColor = #a14756
+-
+-# Sets the foreground color for all source code that is found
+-# to be covered during simulation.  The value can be any legal color value
+-# accepted by Tcl.
+-
+-CoveredForegroundColor = black
+-
+-# Sets the background color for all source code that is found
+-# to be covered during simulation.  The value can be any legal color value.
+-# accepted by Tcl.
+-
+-CoveredBackgroundColor = #90ee90
+-
+-# Sets the foreground color for all source code that has been detected as
+-# containing a race condition situation.  This code is not analyzed by Covered.
+-# The value can be any legal color value accepted by Tcl.
+-
+-RaceConditionForegroundColor = white
+-
+-# Sets the background color for all source code that has been detected as
+-# containing a race condition situation.  This code is not analyzed by Covered.
+-# The value can be any legal color value accepted by Tcl.
+-
+-RaceConditionBackgroundColor = blue
+-
+-# Causes the summary color for a module/instance that has achieved a line
+-# coverage percentage greater than or equal to this value (but not 100%) to be
+-# colored "yellow", indicating that the line coverage can possibly be deemed
+-# "good enough".  This value must be in the range of 0 - 100.
+-
+-AcceptableLinePercentage = 90
+-
+-# Causes the summary color for a module/instance that has achieved a toggle
+-# coverage percentage greater than or equal to this value (but not 100%) to be
+-# colored "yellow", indicating that the toggle coverage can possibly be deemed
+-# "good enough".  This value must be in the range of 0 - 100.
+-
+-AcceptableTogglePercentage = 90
+-
+-# Causes the summary color for a module/instance that has achieved a memory
+-# coverage percentage greater than or equal to this value (but not 100%) to be
+-# colored "yellow", indicating that the memory coverage can possibly be deemed
+-# "good enough".  This value must be in the range of 0 - 100.
+-
+-AcceptableMemoryPercentage = 90
+-
+-# Causes the summary color for a module/instance that has achieved a combinational
+-# logic coverage percentage greater than or equal to this value (but not 100%) to be
+-# colored "yellow", indicating that the combinational logic coverage can possibly be
+-# deemed "good enough".  This value must be in the range of 0 - 100.
+-
+-AcceptableCombinationalLogicPercentage = 90
+-
+-# Causes the summary color for a module/instance that has achieved an FSM state/arc
+-# coverage percentage greater than or equal to this value (but not 100%) to be
+-# colored "yellow", indicating that the FSM coverage can possibly be deemed
+-# "good enough".  This value must be in the range of 0 - 100.
+-
+-AcceptableFsmPercentage = 90
+-
+-# Causes the summary color for a module/instance that has achieved an assertion
+-# coverage percentage greater than or equal to this value (but not 100%) to be
+-# colored "yellow", indicating that the assertion coverage can possibly be deemed
+-# "good enough".  This value must be in the range of 0 - 100.
+-
+-AcceptableAssertionPercentage = 90
+-
+-# Causes syntax highlighting to be turned on or off.  This value should either be
+-# 'on' or 'off'.
+-
+-HighlightingMode = on
+-
+-# When the syntax highlighting mode is on, causes the preprocessor directive keywords
+-# to be highlighted with the specified color.  The value may be any color value that
+-# is acceptable to Tk.
+-
+-HighlightPreprocessorKeywordColor = ForestGreen
+-
+-# When the syntax highlighting mode is on, causes the Verilog keywords to be highlighted
+-# with the specified color.  The value may be any color value that is acceptable to Tk.
+-
+-HighlightKeywordColor = purple
+-
+-# When the syntax highlighting mode is on, causes any single or multi-line comments to
+-# be highlighted with the specified color.  The value may be any color value that is
+-# acceptable to Tk.
+-
+-HighlightCommentColor = blue
+-
+-# When the syntax highlighting mode is on, causes any defined, binary, octal, decimal or
+-# hexidecimal value to be highlighted with the specified color.  The value may be any
+-# color value that is acceptable to Tk.
+-
+-HighlightValueColor = red
+-
+-# When the syntax highlighting mode is on, causes any quoted string to be highlighted with
+-# the specified color.  The value may be any color value that is acceptable to Tk.
+-
+-HighlightStringColor = red
+-
+-# When the syntax highlighting mode is on, causes any Verilog symbol to be highlighted with
+-# the specified color.  The value may be any color value that is acceptable to Tk.
+-
+-HighlightSymbolColor = coral
+-
+-# If this value is set to true, a popup dialog box will be created whenever the user excludes a coverage
+-# point, allowing for the creation of a reason for the exclusion.  If this value is set to false, no popup
+-# box will be displayed when a coverage point is marked for exclusion.  The exclusion reason information
+-# is saved to the CDD (if specified from the GUI).
+-
+-EnableExclusionReasons = 1
+-
+-# This string specifies default reasons for exclusion.  These reasons may be used wherever
+-# a coverage point is excluded (or the user may specify a unique reason).
+-
+-ExclusionReasons = {Logic is obsolete but will not be removed for future enhancement possibilities. }
+-
+-# This value specifies how to handle exclusion reason conflicts that arise when two or more CDD files
+-# are merged that contain mismatching exclusion reasons for identical coverage points.  The valid
+-# values are the following:
+-#   first - Use the exclusion reason from the first CDD file read in that contains the reason
+-#   last  - Use the exclusion reason from the last CDD file read in that contains the reason
+-#   all   - Merge all exclusion reasons into one
+-#   new   - Use the newest exclusion reason specified
+-#   old   - Use the oldest exclusion reason specified
+-
+-ExclusionReasonConflictResolution = all
+-
+-# THE FOLLOWING LINES ARE FOR STORING GUI STATE INFORMATION -- DO NOT MODIFY LINES BELOW THIS COMMENT!
+-
+-MainWindowGeometry                = 1000x548+41+139
+-ToggleWindowGeometry              = 366x125+427+365
+-MemoryWindowGeometry              = 
+-CombWindowGeometry                = 804x408+10+73
+-FsmWindowGeometry                 = 
+-AssertWindowGeometry              = 
+-ModuleInstanceType                = Instance
+-ModuleInstanceTableListWidth      = 309
+-ModuleInstanceTableListColumns    = 0:Instance Name:left:0:Module Name:left:0:Hit:right:0:Miss:right:0:Excluded:right:0:Total:right:0:Hit %:right:0:Index:left
+-ModuleInstanceTableListInitHidden = 0:0:0:0:0:0:0
diff --git a/debian/patches/series b/debian/patches/series
index a7dee0e..ca28f71 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 typos.diff
 tclscript_install.diff
+coveredrc.diff

-- 
Packaging for covered

More information about the debian-science-commits mailing list