Skip to content
This repository has been archived by the owner. It is now read-only.
Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
44 lines (32 sloc) 1.23 KB
FROM base/archlinux
RUN pacman -Syu --noconfirm
RUN pacman -S --noconfirm base-devel
RUN pacman -S --noconfirm clang llvm
RUN pacman -S --noconfirm clang-tools-extra
RUN pacman -S --noconfirm python python2
RUN pacman -S --noconfirm docker
RUN pacman -S --noconfirm emacs
RUN pacman -S --noconfirm git cmake
RUN pacman -S --noconfirm xfce4
RUN pacman -S --noconfirm tigervnc
RUN pacman -S --noconfirm ttf-dejavu
# racket
RUN pacman -S --noconfirm racket
# for helium-v1.3
RUN pacman -S --noconfirm gtest doxygen graphviz boost pugixml rapidjson
RUN pacman -S --noconfirm mlocate
RUN pacman -S --noconfirm vim firefox the_silver_searcher
WORKDIR /root/Desktop
RUN git clone https://github.com/lihebi/helium2
RUN cd helium2 && mkdir build && cd build && cmake .. && make -j4
RUN cd helium2 && raco exe -o helium2 helium.rkt
RUN git clone https://github.com/lihebi/helium
RUN cd helium && mkdir build && cd build && cmake .. && make -j4
RUN bash helium/setup.sh && source ~/.bashrc
RUN bash helium2/setup.sh && source ~/.bashrc
RUN git clone https://github.com/lihebi/benchmark
ADD xstartup /root/.vnc/xstartup
RUN echo "helium" | vncpasswd -f > /root/.vnc/passwd
RUN chmod 600 /root/.vnc/passwd
ADD startvnc.sh /root/startvnc.sh
CMD ["/root/startvnc.sh"]
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.