-
Notifications
You must be signed in to change notification settings - Fork 3
/
Singularity.1.0
70 lines (60 loc) · 2.5 KB
/
Singularity.1.0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
Bootstrap: docker
From: ubuntu:focal
%post
## Install all necessary dependencies.
apt-get update
export DEBIAN_FRONTEND=noninteractive
export TZ="Europe/London"
apt-get install --no-install-recommends -y \
build-essential cmake g++ make python perl \
bison flex ca-certificates git \
coinor-libcbc-dev coinor-libclp-dev \
coinor-libcgl-dev libgsl-dev libfl-dev libbison-dev\
coinor-libcoinutils-dev zlib1g-dev libbz2-dev
rm -rf /var/lib/apt/lists/*
git clone https://github.com/roveri-marco/popf.git /planner
## Build your planner
cd /planner
./build
# Cleanup not needed packages
apt autoremove -y --purge
%environment
export LC_ALL=C
export DEBIAN_FRONTEND=noninteractive
export TZ="Europe/London"
%runscript
## The runscript is called whenever the container is used to solve
## an instance.
# This is needed to avoid weird messages about profiling files
# enabled by default in the compiler with optimization, so that
# files are saved in a particular directory that then is destroyed.
export tmpdir=/tmp/optic_$$
export GCOV_PREFIX=${tmpdir}
## Call your planner.
/planner/compile/popf2/popf3-clp $*
rm -rf ${tmpdir}
## Update the following fields with meta data about your submission.
## Please use the same field names and use only one line for each value.
%labels
Name popf
Description The popf temporal planner originally taken from\
https://sourceforge.net/projects/tsgp/files/POPF and\
adapted to compile in recent machines in\
https://github.com/roveri-marco/popf\
\
POPF is free software: you can redistribute it and/or\
modify it under the terms of the GNU General Public\
License as published by the Free Software Foundation,\
either version 2 of the License, or (at your option) any\
later version.\
\
POPF is distributed in the hope that it will be useful,\
but WITHOUT ANY WARRANTY; without even the implied\
warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR\
PURPOSE. See the GNU General Public License for more\
details.\
Authors A. J. Coles, A. I. Coles, M. Fox and D. Long,
A. J. Smith, ported by Marco Roveri
SupportsDerivedPredicates no
SupportsQuantifiedPreconditions no
SupportsQuantifiedEffects no