#!/bin/bash
#docker run -v /media/jerome/Data/Projets/Cheddar-dev:/cheddar-dev -v /media/jerome/Data/Tools/GNAT/gnat-community-2018-20180528-x86_64-linux:/gnat --rm -ti ellidiss/cheddar:debian $@
docker run -v /media/jerome/Data/Projets/Cheddar-dev/cheddarKernel3.2:/cheddar-dev -v --rm -ti cheddar/dev:debian64 $@