Cadoles/Tamarin
21
0
Fork 0
Code Issues 1 Pull Requests 1 Releases Wiki Activity

Modification pour compiler les documents latex

Browse Source
This commit is contained in:
Benjamin Bohard 2020-08-19 08:47:06 +02:00
parent 0172b4f62c
commit 822dc3617c
5 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
hooks/build/texlive/xelatex
View File

@ -1,4 +1,4 @@
#!/usr/bin/env bash
cd src
make
make presentations/modules_EOLE_envole/support.pdf

2
hooks/containerbuild/texlive/add-packages
View File

@ -5,4 +5,6 @@ set -e
echo 'ENV DEBIAN_FRONTEND=noninteractive' >> Dockerfile
echo 'RUN apt-get update && apt-get install --yes --no-install-recommends texlive-full' >> Dockerfile
echo 'RUN apt-get update && apt-get install --yes --no-install-recommends make' >> Dockerfile
echo 'RUN apt-get update && apt-get install --yes --no-install-recommends fonts-liberation fonts-liberation2' >> Dockerfile
echo 'RUN apt-get update && apt-get install --yes --no-install-recommends python3-pygments' >> Dockerfile
echo 'ENV DEBIAN_FRONTEND=' >> Dockerfile

2
hooks/postbuild/texlive/export-dist
View File

@ -1,7 +1,7 @@
#!/bin/bash
function move_output_to_dist {
find . -maxdepth 1 -name "$1" -type f -print0 | xargs -0r mv -t /dist/
find . -name "$1" -type f -print0 | xargs -0r mv -t /dist/
}
# Create new directory

4
lib/tamarin.py
View File

@ -55,6 +55,10 @@ def get_workspace_subdir(subdir):
os.makedirs(dir_path, exist_ok=True)
return dir_path
def get_datasets_dir():
return os.path.realpath(os.path.dirname(os.path.abspath(__file__)) + "/../datasets")
def run(cmd, captureOutput=False, pty=False, debug=False, **kwargs):
"""Execute an arbitrary command on the system"""
if debug:

3
package
View File

@ -84,7 +84,7 @@ if __name__ == "__main__":
build_workspace = tamarin.get_workspace_subdir('tmp/build_{:d}'.format(pid))
shutil.copytree(tamarin.get_utils_dir(), os.path.join(build_workspace, 'utils'))
shutil.copytree(tamarin.get_datasets_dir(), os.path.join(build_workspace, 'datasets'))
base_image = args.base if args.base != '' else profile['profile']['default_image']
image_tag = build_image(build_workspace, base_image, args.profile, profile, debug=args.debug, rebuild=args.rebuild)
@ -110,6 +110,7 @@ if __name__ == "__main__":
docker_args += [
"-v", "{:s}:/src:z,ro".format(project_dir),
"-v", "{:s}:/dist:z".format(output_dir),
"-v", "{:s}:/tamarin/datasets:z".format(tamarin.get_datasets_dir()),
]
if not args.no_lib_mounts: