summaryrefslogtreecommitdiff
path: root/cesar/ecos/packages/services/gcov/current/doc
diff options
context:
space:
mode:
Diffstat (limited to 'cesar/ecos/packages/services/gcov/current/doc')
-rw-r--r--cesar/ecos/packages/services/gcov/current/doc/README17
-rw-r--r--cesar/ecos/packages/services/gcov/current/doc/gcov-doc.tex41
-rw-r--r--cesar/ecos/packages/services/gcov/current/doc/makefile19
3 files changed, 77 insertions, 0 deletions
diff --git a/cesar/ecos/packages/services/gcov/current/doc/README b/cesar/ecos/packages/services/gcov/current/doc/README
new file mode 100644
index 0000000000..e15ed1d518
--- /dev/null
+++ b/cesar/ecos/packages/services/gcov/current/doc/README
@@ -0,0 +1,17 @@
+SPiDCOM Technologie Gcov package
+
+Deferents formats of the documentation can be generated.
+For that you will need :
+ * latex2html
+ * pdflatex
+ * latex
+programs install in your computer.
+
+1. PDF format use :
+make pdf
+
+2. HTML format use :
+make html
+
+3. DVI format use :
+make dvi
diff --git a/cesar/ecos/packages/services/gcov/current/doc/gcov-doc.tex b/cesar/ecos/packages/services/gcov/current/doc/gcov-doc.tex
new file mode 100644
index 0000000000..44219d6747
--- /dev/null
+++ b/cesar/ecos/packages/services/gcov/current/doc/gcov-doc.tex
@@ -0,0 +1,41 @@
+\documentclass[a4paper,10pt]{article}
+
+
+%opening
+\title{Gcov for Ecos}
+\author{SPiDCOM Technologies}
+
+\begin{document}
+
+\maketitle
+
+\begin{abstract}
+Gcov for Ecos.
+\end{abstract}
+
+\section {Package Gcov for gcc 3.2.1}
+
+\subsection{Files}
+
+The files used for this package are some of the gnu gcov files.\\
+The others ones are only sources files to detect the version of the compiler and use the system function to use gcov with ecos.
+
+\subsection{Version}
+
+This version of gcov actually works with the gnu gcc compiler with the version 3.2.1, the other ones does not work.\\
+
+\subsection{Files generated}
+
+The file generated by this version are~:
+\begin{itemize}
+ \item .bb
+ \item .bbg
+ \item .da
+\end{itemize}
+
+\subsection{How to check the coverage}
+
+To verfify the coverage of the test use the gcov tool of ecos with the following command~:\\
+i386-elf-gcov $<$name\_of\_src.da$>$
+
+\end{document}
diff --git a/cesar/ecos/packages/services/gcov/current/doc/makefile b/cesar/ecos/packages/services/gcov/current/doc/makefile
new file mode 100644
index 0000000000..01856feb09
--- /dev/null
+++ b/cesar/ecos/packages/services/gcov/current/doc/makefile
@@ -0,0 +1,19 @@
+src = gcov-doc
+
+pdf : $(src).tex
+ pdflatex $(src).tex
+ rm -f $(src).aux
+ rm -f $(src).log
+
+html : $(src)
+ latex2html $(src).tex
+
+dvi : $(src)
+ latex $(src).tex
+ rm -f $(src).aux
+ rm -f $(src).log
+
+clean :
+ rm -f $(src).pdf
+ rm -f $(src).dvi
+ rm -rf $(src) \ No newline at end of file