riscv
/
coriolis
mirror of https://gitlab.lip6.fr/vlsi-eda/coriolis.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

* ./bootstrap: 

- Change: In debian/coriolis2.doc-base, small correction on the
        documentation files to include.
    - Change: In Makefile.package, crlcore & unicorn now generate
        documentations.
This commit is contained in:
Jean-Paul Chaput 2012-12-04 12:29:00 +00:00
parent eaf107389d
commit f8b6b761c5
2 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bootstrap/Makefile.package
View File

@ -65,7 +65,9 @@ install: FORCE
makeArgs="dvi safepdf html"; \
cmakeArgs="$$commonCMakeArgs -D BUILD_DOC:STRING=ON"; \
fi; \
if [ "$$tool" = "hurricane" ]; then \
if [ "$$tool" = "hurricane" \
-o "$$tool" = "crlcore" \
-o "$$tool" = "unicorn" ]; then \
cmakeArgs="$$commonCMakeArgs -D BUILD_DOC:STRING=ON"; \
fi; \
cmake -D CMAKE_BUILD_TYPE:STRING=RELEASE \

8
bootstrap/debian/coriolis2.doc-base
View File

@ -9,10 +9,10 @@ Files: /usr/share/doc/coriolis2/en/latex/users-guide/*
/usr/share/doc/coriolis2/en/latex/viewer/*
/usr/share/doc/coriolis2/en/latex/crlcore/*
/usr/share/doc/coriolis2/en/latex/unicorn/*
/usr/share/doc/coriolis2/en/latex/stratus/stratus.tex.gz
/usr/share/doc/coriolis2/en/latex/dpgen/dpgen.tex.gz
/usr/share/doc/coriolis2/en/latex/patterns/patterns.tex.gz
/usr/share/doc/coriolis2/en/latex/stratus_developper/stratus_developper.tex.gz
/usr/share/doc/coriolis2/en/latex/stratus/stratus.tex
/usr/share/doc/coriolis2/en/latex/dpgen/dpgen.tex
/usr/share/doc/coriolis2/en/latex/patterns/patterns.tex
/usr/share/doc/coriolis2/en/latex/stratus_developper/stratus_developper.tex
Format: DVI
Files: /usr/share/doc/coriolis2/en/latex/stratus/stratus.dvi.gz