-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathMakefile
38 lines (30 loc) · 1.36 KB
/
Makefile
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
######################################################################
# Copyright (C) 2018-2021 Alain Giorgetti, Clotilde Erard, #
# Rémi Lazarini and Jérome Ricciardi #
# FEMTO-ST institute #
######################################################################
######################################################################
# This software is distributed under the terms of the GNU Lesser #
# General Public License version 2.1 #
######################################################################
# File: enum/Makefile
# Run
# make build
# to build a docker image,
# make ctr
# to create the Docker container,
# make start
# to start an interactive session in the Docker container
.PHONY: build ctr start
build: Dockerfile
docker build --tag enum:latest .
# Sometimes does not work! Then run 'bash ./ctr.sh' directly!
ctr:
# Uncomment next line if the container already exists
# docker container rm enumctr
bash ./ctr.sh
# For more safety xhost is opened only to the container on the local host's docker daemon
# whose container's ID has been stored by ctr.sh to the shell variable containerId.
start:
@xhost +local:`docker inspect --format='{{ .Config.Hostname }}' enumctr` >> /dev/null
docker start --attach --interactive enumctr