Commit 509c3937 authored by Celian GOSSEC's avatar Celian GOSSEC

Removing hard imported share folder and submoduling it

parent d33bc45f
Subproject commit 95f2404e5afe5cb754a21b566e4dc45aa1c12629
*.log
*.tmp
*~
/csi.pdf
/csi.tex
/figs/epita-blue-en.eps
/figs/epita-gray.eps
/figs/epita.eps
/figs/logo_lrde-blue.eps
/figs/logo_lrde-blue.mask.eps
/figs/logo_lrde-green.eps
/figs/logo_lrde-red.eps
/figs/logo_lrde.eps
/figs/logo_lrde.eps
/figs/logo_lrde.mask.eps
/figs/lrde-big.eps
/figs/lrde-red.eps
/figs/lrde_epita.eps
/figs/lrdemask.eps
/lrde-private.pdf
/lrde-private.tex
/lrde.pdf
/lrde.tex
/tmp.t2d
auto
image: registry.lrde.epita.fr/lrde-share:latest
stages:
- check
- publish
before_script:
- mkdir -p ~/.ssh
- eval $(ssh-agent -s)
- '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
lrde_publis:
stage: check
script:
- bin/bibtex-check bib/lrde.bib
artifacts:
paths:
- bib/lrde.bib
csi_reports:
stage: check
script:
- bin/bibtex-check bib/csi.bib
- 'bibtool "-- select{year \"$(date +%Y)\"}" bib/csi.bib | sed -rn "/@TechReport/ s/.*\\s([a-z]+.[0-9]+.seminar),/\\1/ p" | xargs -n1 bin/abstract --pdf'
artifacts:
paths:
- bib/csi.bib
- ./*.seminar.pdf
update_wiki:
stage: publish
script:
- ssh-add <(echo "$DOTFILES_SSH_PRIVATE_KEY")
- git clone ssh://git@git.archivel.fr:1122/clement/dotfiles.git
- dotfiles/bin/bibtex.py bib/lrde.bib
- dotfiles/bin/bibtex-csi.py bib/csi.bib
lrde.pdf:
stage: publish
script:
- make lrde.tex
- make lrde.pdf
artifacts:
paths:
- lrde.pdf
share_dir = .
include make/share.mk
include make/tex.mk
QUIET = @
host = www
# Put on the Internet.
dloaddir = /lrde/dload/papers
dload_DATA = lrde.pdf bib/lrde.bib
# Kept private to the LRDE.
papersdir = /lrde/doc/lrde/papers
papers_DATA = lrde.pdf lrde-private.pdf README-lrde-bib.txt
CLEANFILES = lrde.tex lrde.pdf lrde-private.tex lrde-private.pdf \
contents.html contents.txt list.bib \
list.pdf diffs.patch contents.bib contents_bib.html
all: check lrde.pdf
## ------- ##
## Check. ##
## ------- ##
# Our own *.bib that should obey our rules.
BIBS = \
lrde.bib csi.bib olena.bib tiger.bib \
gp.bib lang.bib mc.bib parallel.bib rr.bib sip.bib
# We don't use the dependencies here so that all the checks are run.
check:
$(share_bin_dir)/bibtex-check all
check-perms:
$(share_bin_dir)/bibtex-check perms
check-csi:
$(share_bin_dir)/bibtex-check csi
## Normalization.
bibneat = $(share_bin_dir)/bibneat
.PHONY: neat
neat:
for b in $(BIBS); do \
$(bibneat) $(share_bib_dir)/$$b; \
done; \
for b in $(BIBS); do \
$(share_bin_dir)/bibtex-check $(share_bib_dir)/$$b; \
done;
## ------------------------------- ##
## lrde.pdf and lrde-private.pdf. ##
## ------------------------------- ##
%.txt: $(share_bib_dir)/%.bib
rm -f $@.tmp
$(QUIET)bibtex2html -q $<
$(QUIET)html2text -nobs $*.html | \
sed -e 's/.*\[ bib .*//;/^==*$$/{s/.*//;q;}' >$@.tmp
chmod a-w $@.tmp
mv -f $@.tmp $@
# Create a LaTeX document to force the BibTeX check on lrde.bib.
make_bib = $(share_bin_dir)/make-bib.pl
%.tex: $(share_bib_dir)/%.bib
perl $(make_bib) $(share_bib_dir)/$*.bib >$*.tmp
chmod a-w $*.tmp
mv -f $*.tmp $*.tex
lrde.tex: $(make_bib)
%-private.tex: $(share_bib_dir)/%.bib
$(make_bib) --with-submitted $(share_bib_dir)/$*.bib >$*-private.tmp
chmod a-w $*-private.tmp
mv -f $*-private.tmp $*-private.tex
lrde-private.tex: $(make_bib)
view: lrde.pdf
xpdf lrde.pdf
## --------- ##
## install. ##
## --------- ##
install: $(dload_DATA) $(papers_DATA)
for f in $(dload_DATA); \
do \
chmod 664 $$f; \
case $(dloaddir) in \
(*:*) \
ssh doc@$(host) rm -f $(dloaddir)/$$f; \
scp $$f doc@$(host):$(dloaddir) \
;; \
(*) \
rm -f $(dloaddir)/$$f; \
cp $$f $(dloaddir) \
;; \
esac \
done
for f in $(papers_DATA); \
do \
chmod 664 $$f; \
case $(papersdir) in \
(*:*) \
ssh doc@$(host) rm -f $(papersdir)/$$f; \
scp $$f doc@$(host):$(papersdir) \
;; \
(*) \
rm -f $(papersdir)/$$f; \
cp $$f $(papersdir) \
;; \
esac \
done
## ----------------------- ##
## Updating from masters. ##
## ----------------------- ##
.PHONY: update update-bib update-styles
update: update-bib
update-bib:
bin/update-bib
# Sources.
GASTEX_STYLES = http://www.lsv.ens-cachan.fr/~gastin/gastex
FR_BIB_STYLES = http://www.lsv.ens-cachan.fr/~markey/BibTeX/bst
update: update-styles
update-styles:
wget $(GASTEX_STYLES)/gastex.sty -O styles/gastex.sty
wget $(GASTEX_STYLES)/gastex.pro -O styles/gastex.pro
wget http://igm.univ-mlv.fr/~lombardy/Vaucanson-G/vaucanson-g.tgz
tar zxvf vaucanson-g.tgz
rm vaucanson-g/VCManual.ps.gz
mv vaucanson-g/* styles/
rm -rf vaucanson-g vaucanson-g.tgz
wget $(FR_BIB_STYLES)/abbrv-fr.bst -O styles/abbrv-fr.bst
wget $(FR_BIB_STYLES)/abbrvnat-fr.bst -O styles/abbrvnat-fr.bst
wget $(FR_BIB_STYLES)/alpha-fr.bst -O styles/alpha-fr.bst
wget $(FR_BIB_STYLES)/apalike-fr.bst -O styles/apalike-fr.bst
wget $(FR_BIB_STYLES)/ieeetr-fr.bst -O styles/ieeetr-fr.bst
wget $(FR_BIB_STYLES)/plain-fr.bst -O styles/plain-fr.bst
wget $(FR_BIB_STYLES)/plainnat-fr.bst -O styles/plainnat-fr.bst
wget $(FR_BIB_STYLES)/siam-fr.bst -O styles/siam-fr.bst
wget $(FR_BIB_STYLES)/unsrt-fr.bst -O styles/unsrt-fr.bst
wget $(FR_BIB_STYLES)/unsrtnat-fr.bst -O styles/unsrtnat-fr.bst
doc/update-lrde-bib.txt
\ No newline at end of file
doc/share.txt
\ No newline at end of file
* make/tex.mk: rev.tex
Maybe using svninfo.sty would be a better option.
* bib: URLs
Automate the conversion from various fields for URLs to ony "note".
Check that the URLs are alive.
This diff is collapsed.
%% IEEEbcpat.bib
%%
%% Obsolete BibTeX bibliography string definitions for backward
%% compatibility of IEEEtran.bst - DO NOT USE FOR NEW WORK!
%%
%% NOTE: This text file uses MS Windows line feed conventions. When (human)
%% reading this file on other platforms, you may have to use a text
%% editor that can handle lines terminated by the MS Windows line feed
%% characters (0x0D 0x0A).
%%
%% The strings defined here are unchanged from the originals that were
%% contained in the older ieeetr.bst and IEEEbib.bst files.
%%
%% THESE STRING DEFINITIONS ARE NOT CORRECT FOR IEEE RELATED WORK!
%%
%% Please update your databases to use the modern IEEEabrv.bst and not
%% any strings contained here.
%%
%% Version 1.00 (2002/08/13)
%%
%% Composed by Michael Shell
%%
%% See:
%% http://www.ctan.org/tex-archive/macros/latex/contrib/supported/IEEEtran/
%% for latest version and current contact information.
%%
%%**********************************************************************
%% Legal Notice:
%% This code is offered as-is without any warranty either expressed or
%% implied; without even the implied warranty of MERCHANTABILITY or
%% FITNESS FOR A PARTICULAR PURPOSE!
%% User assumes all risk.
%% In no event shall IEEE or any contributor to this code be liable for
%% any damages or losses, including, but not limited to, incidental,
%% consequential, or any other damages, resulting from the use or misuse
%% of any information contained here.
%%
%% This code is distributed under the Perl Artistic License
%% ( http://language.perl.com/misc/Artistic.html )
%% and may be freely used, distributed and modified - subject to the
%% constraints therein.
%% Retain all contribution notices, credits and disclaimers.
%%
%% All comments are the opinions of their respective authors and are not
%% necessarily endorsed by the IEEE.
%%**********************************************************************
%
%
% USAGE:
%
% \bibliographystyle{mybstfile}
% \bibliography{IEEEbcpat,mybibfile}
@STRING{acmcs = "ACM Computing Surveys"}
@STRING{acta = "Acta Informatica"}
@STRING{cacm = "Communications of the ACM"}
@STRING{ibmjrd = "IBM Journal of Research and Development"}
@STRING{ibmsj = "IBM Systems Journal"}
@STRING{ieeese = "IEEE Transactions on Software Engineering"}
@STRING{ieeetc = "IEEE Transactions on Computers"}
@STRING{ieeetcad = "IEEE Transactions on Computer-Aided Design of Integrated Circuits"}
@STRING{ipl = "Information Processing Letters"}
@STRING{jacm = "Journal of the ACM"}
@STRING{jcss = "Journal of Computer and System Sciences"}
@STRING{scp = "Science of Computer Programming"}
@STRING{sicomp = "SIAM Journal on Computing"}
@STRING{tocs = "ACM Transactions on Computer Systems"}
@STRING{tods = "ACM Transactions on Database Systems"}
@STRING{tog = "ACM Transactions on Graphics"}
@STRING{toms = "ACM Transactions on Mathematical Software"}
@STRING{toois = "ACM Transactions on Office Information Systems"}
@STRING{toplas = "ACM Transactions on Programming Languages and Systems"}
@STRING{tcs = "Theoretical Computer Science"}
This diff is collapsed.
This diff is collapsed.
% Acronyms (abbreviated).
% See also IEEEabrv.bib.
% Journals.
@string(ai = "Artificial Intelligence")
@string(cgip = "Computer Graphics, and Image Processing")
@string(cvgip = "Computer Vision, Graphics and Image Processing")
@string(cviu = "Computer Vision, Graphics and Image Processing: Image
Understanding")
@string(fss = "Fuzzy Sets and Systems")
@string(gmip = "Computer Vision, Graphics and Image Processing:
Graphical Models and Image Processing" )
@string(ijdar = "Intl. Journal on Document Analysis and Recognition")
@string(ijprai = "Intl. Journal of Pattern Recognition and Artificial
Intelligence")
@string(itcssp = "{IEEE} Trans. on Circuits, Systems and Signal
Processing")
@string(ivc = "Image and Vision Computing")
@string(jacm = "Journal of the ACM")
@string(jas = "Journal of Applied Statistics")
@string(jasa = "Journal of the American Statistical Association")
@string(jasp = "EURASIP Journal on Applied Signal Processing")
@string(jc = "Journal of Cybernetics")
@string(jei = "Journal of Electronic Imaging")
@string(jmiv = "Journal of Mathematical Imaging and Vision")
@string(jvcir = "Journal of Visual Communication and Image
Representation")
@string(pr = "Pattern Recognition")
@string(prl = "Pattern Recognition Letters")
@string(sp = "Signal Processing")
@string(spl = "Signal Processing Letters")
% International conferences.
@string(acsc = "ACM Annual Computer Science Conference")
@string(eccv = "European Conference on Computer Vision")
@string(ibpria = "Iberian Conference on Pattern Recognition and Image
Analysis")
@string(icassp = "{IEEE} Intl. Conference on Acoustics, Speech, and
Signal Processing")
@string(iccv = "Intl. Conference on Computer Vision")
@string(icvpr = "{IEEE} Intl. Conference on Computer Vision and Pattern
Recognition")
@string(icga = "{IEEE} Computer Graphics and Applications")
@string(icip = "{IEEE} Intl. Conference on Image Processing")
@string(icpr = "Intl. Conference on Pattern Recognition")
@string(iembs = "{IEEE} Intl. Conference on Engineering in Medicine and
Biology Society")
@string(ipmu = "Intl. Conference on Information Processing and
Management of Uncertainty in Knowledge-Based Systems")
@string(ismm = "Intl. Symposium on Mathematical Morphology")
@string(ismm02 = "Mathematical Morphology, Proceedings of the 6th
Intl. Symposium")
@string(ismm05 = "Mathematical Morphology: 40 Years On (Proc. of ISMM)")
@string(nsip = "{IEEE} Workshop on Nonlinear Signal and Image Processing")
% French conferences.
@string(icisp = "Intl. Conference on Image and Signal Processing")
@string(gretsi = "Colloque sur le Traitement du Signal et des Images")
@string(rfia = "Congr{\`e}s Francophone {AFRIF}-{AFIA} de Reconnaissance
des Formes et Intelligence Artificielle")
% Places.
@string(univgronigen = "Univ. of Groningen, the Netherlands")
% Acronyms.
% See also IEEEfull.bib.
% Journals.
@string(ai = "Artificial Intelligence")
@string(cgip = "Computer Graphics, and Image Processing")
@string(cvgip = "Computer Vision, Graphics and Image Processing")
@string(cviu = "Computer Vision, Graphics and Image Processing: Image
Understanding")
@string(fss = "Fuzzy Sets and Systems")
@string(gmip = "Computer Vision, Graphics and Image Processing:
Graphical Models and Image Processing" )
@string(ijdar = "International Journal on Document Analysis and
Recognition")
@string(ijprai = "International Journal of Pattern Recognition and
Artificial Intelligence")
@string(itcssp = "{IEEE} Transactions on Circuits, Systems and Signal
Processing")
@string(ivc = "Image and Vision Computing")
@string(jacm = "Journal of the ACM")
@string(jas = "Journal of Applied Statistics")
@string(jasa = "Journal of the American Statistical Association")
@string(jasp = "EURASIP Journal on Applied Signal Processing")
@string(jc = "Journal of Cybernetics")
@string(jei = "Journal of Electronic Imaging")
@string(jmiv = "Journal of Mathematical Imaging and Vision")
@string(jvcir = "Journal of Visual Communication and Image
Representation")
@string(pr = "Pattern Recognition")
@string(prl = "Pattern Recognition Letters")
@string(sp = "Signal Processing")
@string(spl = "Signal Processing Letters")
% International conferences.
@string(acsc = "ACM Annual Computer Science Conference")
@string(eccv = "European Conference on Computer Vision")
@string(ibpria = "Iberian Conference on Pattern Recognition and Image
Analysis")
@string(icassp = "{IEEE} International Conference on Acoustics, Speech,
and Signal Processing")
@string(iccv = "International Conference on Computer Vision")
@string(icvpr = "{IEEE} International Conference on Computer Vision and
Pattern Recognition")
@string(icga = "{IEEE} Computer Graphics and Applications")
@string(icip = "{IEEE} International Conference on Image Processing")
@string(icpr = "International Conference on Pattern Recognition")
@string(iembs = "{IEEE} International Conference on Engineering in
Medicine and Biology Society")
@string(ipmu = "International Conference on Information Processing and
Management of Uncertainty in Knowledge-Based Systems")
@string(ismm = "Proceedings of the International Symposium on
Mathematical Morphology")
@string(ismm02 = "Mathematical Morphology, Proceedings of the 6th
Intl. Symposium")
@string(ismm05 = "Mathematical Morphology: 40 Years On, Proceedings of
the International Symposium (ISMM)")
@string(nsip = "{IEEE} Workshop on Nonlinear Signal and Image Processing
(NSIP)")
% French conferences.
@string(icisp = "International Conference on Image and Signal
Processing")
@string(gretsi = "Colloque sur le Traitement du Signal et des Images")
@string(rfia = "Congr{\`e}s Francophone {AFRIF}-{AFIA} de Reconnaissance
des Formes et Intelligence Artificielle")
% Places.
@string(univgronigen = "University of Groningen, the Netherlands")
This diff is collapsed.
@misc{TigerAG,
title = {Tiger in AG},
author = {Arthur Baars},
howpublished = {\url{http://www.cs.uu.nl/wiki/bin/view/HUT/TigerCompiler}}
}
@misc{swierstra.uuag,
author = {S. D. Swierstra and Arthur Baars and Andres L\"oh},
title = {The {UU-AG} Attribute Grammar System},
year = {2003},
howpublished = {\url{http://www.cs.uu.nl/wiki/bin/view/HUT/AttributeGrammarSystem}}
}
@inproceedings{couvreur.04.ciaa,
author = {Jean-Michel Couvreur},
title = {A {BDD}-Like Implementation of an Automata Package.},
booktitle = {CIAA},
year = {2004},
pages = {310-311},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3317{\&}spage=310},
crossref = {zzzref.04.ciaa},
}
@proceedings{zzzref.04.ciaa,
editor = {Michael Domaratzki and
Alexander Okhotin and
Kai Salomaa and
Sheng Yu},
title = {Implementation and Application of Automata, 9th International
Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004,
Revised Selected Papers},
booktitle = {CIAA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3317},
year = {2004},
isbn = {3-540-24318-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This diff is collapsed.
@techreport{fraser.91.burg,
author = {Christopher W. Fraser and Robert R. Henry and Todd
A. Proebsting},
title = {{BURG}--Fast Optimal Instruction Selection and Tree
Parsing},
number = {CS-TR-1991-1066},
year = {1991},
url = {citeseer.ist.psu.edu/henry92burg.html}
}
@article{ fraser.92.acm,
author = "Christopher W. Fraser and David R. Hanson and Todd
A. Proebsting",
title = "Engineering a Simple, Efficient Code-Generator
Generator",
journal = "ACM Letters on Programming Languages and Systems",
volume = "1",
number = "3",
month = "September",
publisher = "ACM Press",
pages = "213--226",
year = "1992",
url =
"citeseer.ist.psu.edu/article/fraser92engineering.html"
}
@article{ fraser.99.sigplan,
author = "Christopher W. Fraser and Todd A. Proebsting",
title = "Finite-State Code Generation",
journal = "ACM SIG{\-}PLAN Notices",
volume = "34",
number = "5",
pages = "270--280",
year = "1999",
url = "citeseer.ist.psu.edu/319609.html"
}
@article{ gough.97.acsc,
author = "K. John Gough and Jeff Ledermann",
title = "Optimal Code-Selection using {MBURG}",
journal = "Australian Computer Science Comm.: Proc. 20th
Australasian Computer Science Conf., ACSC",
volume = "19",
number = "1",
month = "5--7~",
editor = "Malti Patel",
pages = "441--450",
year = "1997",
url = "citeseer.ist.psu.edu/472529.html"
}
@misc{ proebsting.95.onepass,
author = "Todd A. Proebsting and Benjamin R. Whaley",
title = "One-Pass, Optimal Tree Parsing - With Or Without
Trees",
year = "1995",
url = "citeseer.ist.psu.edu/193477.html"
}
This diff is collapsed.
@InProceedings{llvm.04.cgo,
author = {Chris Lattner and Vikram Adve},
title = {LLVM: A Compilation Framework for Lifelong Program Analysis
\& Transformation},
booktitle = {Proceedings of the 2004 International Symposium on Code
Generation and Optimization (CGO'04)},
address = {Palo Alto, California},
month = {Mar},
year = {2004}
}
@InProceedings{moreau.03.apattern,
author = {Pierre-\'Etienne Moreau and Christophe Ringeissen and Marian
Vittek},
title = {A Pattern Matching Compiler for Multiple Target Languages},
booktitle = {12th Conference on Compiler Construction, Warsaw (Poland),