docker run -ti nibrunie/metalibm:demo |
The basic metalibm commands can be tested within this image:
cd /home/metalibm export PYTHONPATH=$PWD:$PYTHONPATH export ML_SRC_DIR=$PWD python3 metalibm_functions/ml_exp.py --auto-test 1000 --execute
The Dockerfile used to build this image is:
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 | FROM ubuntu:latest # updating repo list RUN apt-get update # installing basic packages (build, repo management, ...) RUN apt-get install -y build-essential RUN apt-get install -y git RUN apt-get install -y wget # install sollya's dependency RUN apt-get install -y libmpfr-dev libmpfi-dev libfplll-dev libxml2-dev RUN apt-get install -y python3 python3-setuptools libpython3-dev python3-pip # install sollya from its current weekly release (which implement sollya_lib_obj_is_external_data # contrary to sollya 7.0 release) WORKDIR /home/ RUN wget http://sollya.gforge.inria.fr/sollya-weekly-08-18-2019.tar.gz RUN tar -xzf sollya-weekly-08-18-2019.tar.gz WORKDIR /home/sollya-weekly-08-18-2019/ RUN mkdir -p /app/local/python3/ RUN ./configure --prefix /app/local RUN make -j8 RUN make install # installing pythonsollya WORKDIR /home/ ENV PATH=/app/local/bin:$PATH ENV SOLLYA_DIR=/app/local/ ENV PREFIX=/app/local/ ENV INSTALL_OPTIONS="-t /app/local/" # installing pythonsollya from gitlab version RUN git clone https://gitlab.com/metalibm-dev/pythonsollya /home/new_pythonsollya/ # for python 3 WORKDIR /home/new_pythonsollya/ RUN make SOLLYA_DIR=/app/local/ PREFIX=/app/local/ INSTALL_OPTIONS="-t /app/local/python3/" PYTHON=python3 PIP=pip3 install # checking pythonsolya install RUN apt-get install python3-six RUN LD_LIBRARY_PATH="/app/local/lib" python3 -c "import sollya" # installing gappa WORKDIR /home/ RUN apt-get install -y libboost-dev RUN wget https://gforge.inria.fr/frs/download.php/file/37624/gappa-1.3.3.tar.gz RUN tar -xzf gappa-1.3.3.tar.gz WORKDIR /home/gappa-1.3.3/ RUN ./configure --prefix=/app/local/ RUN ./remake RUN ./remake install # downloading metalibm WORKDIR /home/ RUN git clone https://github.com/kalray/metalibm.git WORKDIR /home/metalibm/ # testing metalibm install ENV LD_LIBRARY_PATH=/app/local/lib/ ENV PYTHONPATH=/app/local/python3/ RUN PYTHONPATH=$PWD:$PYTHONPATH ML_SRC_DIR=$PWD python3 valid/soft_unit_test.py |
