Browse Source

add build manifest, update title page

master
zapashcanon 3 years ago
parent
commit
f4932c2af3
Signed by: zapashcanon GPG Key ID: 8981C3C62D1D28F1
  1. 18
      .build.yml
  2. 1
      README.md
  3. 13
      scripts/build.sh
  4. 107
      src/title.tex

18
.build.yml

@ -0,0 +1,18 @@
image: debian/unstable
packages:
- biber
- fonts-linuxlibertine
- inkscape
- python3-pygments
- texlive-extra-utils
- texlive-fonts-extra
- texlive-lang-french
- texlive-pstricks
- texlive-xetex
sources:
- https://git.zapashcanon.fr/zapashcanon/internship-report-cakeml
tasks:
- build: |
cd internship-report-cakeml
make
ls main.pdf

1
README.md

@ -0,0 +1 @@
# Internship Report CakeML [![builds.sr.ht status](https://builds.sr.ht/~zapashcanon/internship-report-cakeml.svg)](https://builds.sr.ht/~zapashcanon/internship-report-cakeml?)

13
scripts/build.sh

@ -4,10 +4,11 @@ set -eu
( cd "$(dirname "$0")"/../src
xelatex -shell-escape main.tex
biber main
# xelatex -shell-escape src/main.tex
xelatex -shell-escape main.tex
xelatex -shell-escape main.tex
c="texfot xelatex -shell-escape -halt-on-error"
$c main.tex | sed '/Output written/d' | sed '/Rerun to get \/Page/d' | sed '/Warning: Citation/d' | sed '/Warning: Empty bib/d' | sed '/has changed/d' | sed '/Warning: There were/d' | sed '/biblatex Warning/d'
biber -quiet main
$c main.tex | sed '/Output written/d' | sed '/Warning: There were/d' | sed '/biblatex Warning/d'
$c main.tex
mv main.pdf ../main.pdf
)
) | sed '/This is/d' | sed '/texfot: invoking/d'

107
src/title.tex

@ -1,87 +1,44 @@
\begin{titlepage}
\begin{center}
\begin{center}
\newcommand\important{\huge \scshape }
\newcommand\notimportant{\Large}
\newcommand\vspa[1]{\vspace*{#1\textheight}}
%\vspace*{0.1\textheight}
\fontsize{25}{25}\scshape Le psittacisme pour permettre l'oubli motivé: implémentation et vérification du lambda lifting pour le compilateur \bsc{CakeML}\\
\vspace*{0.1\textheight}
\important{} Le psittacisme pour permettre l'oubli motivé: implémentation et vérification du lambda lifting pour le compilateur \bsc{CakeML}
{\fontsize{14}{14}\calligra{Rapport de stage par\\}}
{\fontsize{28}{28}\scshape Léo \bsc{Andrès}\\}
\vspace*{0.01\textheight}
{\fontsize{14}{14}\calligra{\today\\}}
\vspace*{0.03\textheight}
{\fontsize{14}{14}\calligra{Master 1 Jacques \bsc{Herbrand}\\}}
\vspace*{0.03\textheight}
{\includegraphics[width=0.5\textwidth]{ENS_PS.png}}\\
\vspace*{0.1\textheight}
\vspa{0.1}
\begin{tikzpicture}[start chain=main going right]
\notimportant{} Rapport de stage par\\
\important{} Léo \bsc{Andrès}\\
\vspa{0.02}
\notimportant{} 22 août 2018\\
\node[on chain,align=center,draw=none](a1)
{{\fontsize{14}{14}\calligra Supervisé par} \\
{\Large {Dr.~Scott~\bsc{Owens}}}\\
{\fontsize{14}{14}\calligra et} \\
{\Large {Dr.~Hugo~\bsc{Férée}}}};
\vspa{0.02}
\node[on chain,align=center,draw=none](a2)
{\psvectorian[width=0.08\textwidth]{67}};
\notimportant{} Master 1 Jacques \bsc{Herbrand}\\
\vspa{0.05}
\includegraphics[width=0.5\textwidth]{ENS_PS.png}\\
\node[on chain,align=center,draw=none](a3)
{{\fontsize{14}{14}\calligra Effectué à} \\
{\includesvg{Kent_uni.svg}}};
\vspa{0.05}
\end{tikzpicture}
\end{center}
\end{titlepage}
%\begin{comment}
%\begin{titlepage}
% \centering
% \includegraphics[width=0.5\textwidth]{./../img/ENS_PS.png}\par\vspace{1cm}
% \includesvg{./../img/Kent_uni.svg}\par\vspace{1cm}
% {\scshape\LARGE École Normale Supérieure Paris-Saclay \par}
% \vspace{1cm}
% {\scshape\Large Rapport de stage\par}
% \vspace{1.5cm}
% {\huge\bfseries Implémentation et vérification du lambda-lifting dans le compilateur \bsc{CakeML}\par}
\begin{tikzpicture}[start chain=main going right]
% \vspace{2cm}
\node[on chain,align=center,draw=none](a1){
\notimportant{} Sous la direction de\\
\important{} Scott~\bsc{Owens}\\
\notimportant{} et de\\
\important{} Hugo~\bsc{Férée}
};
% {\Large Léo \bsc{Andrès}\par{}}
\node[on chain,align=center,draw=none](a2){
\psvectorian[width=0.08\textwidth]{67}
};
% \vfill
\node[on chain,align=center,draw=none](a3){
\notimportant{} Effectué à \\
\includesvg{Kent_uni.svg}
};
% supervisé par\\
% \vspace{0.5cm}
% Dr.~Scott \bsc{Owens}\\
% et\\
% Dr.~Hugo \bsc{Férée}
% \vfill
% effectué à\\
% \vspace{0.5cm}
% University of Kent
% \vfill
% Bottom of the page
% {\large \today\par}
%\end{titlepage}
%\end{comment}
%\title{Rapport de stage: implémentation et vérification du lambda-lifting dans le compilateur \bsc{CakeML}}
%
%\author{\href{mailto:leo@ndrs.fr}{Léo \bsc{Andrès}}}
%
%\date{\today}
\end{tikzpicture}
\end{center}
\end{titlepage}

Loading…
Cancel
Save