Modification pour compiler les documents latex

This commit is contained in:
Benjamin Bohard 2020-08-19 08:47:06 +02:00
parent 1a9077fa01
commit 8d926f53a1
5 changed files with 10 additions and 3 deletions

View File

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

View File

@ -5,4 +5,6 @@ set -e
echo 'ENV DEBIAN_FRONTEND=noninteractive' >> Dockerfile 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 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 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 echo 'ENV DEBIAN_FRONTEND=' >> Dockerfile

View File

@ -1,7 +1,7 @@
#!/bin/bash #!/bin/bash
function move_output_to_dist { 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 # Create new directory

View File

@ -55,6 +55,10 @@ def get_workspace_subdir(subdir):
os.makedirs(dir_path, exist_ok=True) os.makedirs(dir_path, exist_ok=True)
return dir_path 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): def run(cmd, captureOutput=False, pty=False, debug=False, **kwargs):
"""Execute an arbitrary command on the system""" """Execute an arbitrary command on the system"""
if debug: if debug:

View File

@ -86,7 +86,7 @@ if __name__ == "__main__":
build_workspace = tamarin.get_workspace_subdir('tmp/build_{:d}'.format(pid)) 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_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'] 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) image_tag = build_image(build_workspace, base_image, args.profile, profile, debug=args.debug, rebuild=args.rebuild)
@ -112,6 +112,7 @@ if __name__ == "__main__":
docker_args += [ docker_args += [
"-v", "{:s}:/src:z,ro".format(project_dir), "-v", "{:s}:/src:z,ro".format(project_dir),
"-v", "{:s}:/dist:z".format(output_dir), "-v", "{:s}:/dist:z".format(output_dir),
"-v", "{:s}:/tamarin/datasets:z".format(tamarin.get_datasets_dir()),
] ]
if not args.no_lib_mounts: if not args.no_lib_mounts: