[Pkg-electronics-commits] [SCM] Packaging for covered branch, master, updated. 259b0577ab90f7ae046412617901c61e439fb6e5
أحمد المحمودي (Ahmed El-Mahmoudy)
aelmahmoudy at users.sourceforge.net
Sun Sep 13 15:24:24 UTC 2009
The following commit has been merged in the master branch:
commit 52d3ec690f0140e0c56d516a8ee228a0a562c808
Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>
Date: Sun Sep 13 17:13:04 2009 +0200
Removed coveredrc.diff patch.
diff --git a/debian/changelog b/debian/changelog
index 68dda7d..7711b4b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,7 +4,5 @@ covered (0.7.6-1) unstable; 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> Thu, 27 Aug 2009 20:22:43 +0300
diff --git a/debian/patches/coveredrc.diff b/debian/patches/coveredrc.diff
deleted file mode 100644
index e86e8fe..0000000
--- a/debian/patches/coveredrc.diff
+++ /dev/null
@@ -1,379 +0,0 @@
-Description: Install system-wide coveredrc file in /etc/coveredrc
-Forwarded: yes
-Author: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>
---- 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 98685e2..5a71c25 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1 @@
tclscript_install.diff
-coveredrc.diff
--
Packaging for covered
More information about the Pkg-electronics-commits
mailing list