17 Commits (master)

Author SHA1 Message Date
Jérémy DECOOL f23c297ac8
Docker images improvement (#145) 3 years ago
Pirmin Kalberer 12656a3d2b Set PATH for cargo/rustc 7 years ago
Pirmin Kalberer 7dbb3dfd87 Run install.sh without chmod +x 7 years ago
Pirmin Kalberer fecd6f1a0b Workaround for ./install.sh: Text file busy 7 years ago
Jérôme Parmentier c2c45be6bb Replace deprecated MAINTAINER by LABEL 7 years ago
Johannes Schickling ddebcec334 env 10 years ago
Johannes Schickling eef654fd82 chmod 10 years ago
Johannes Schickling 1f04a425e3 install script 10 years ago
Johannes Schickling 0e48f76d76 gdb 10 years ago
Johannes Schickling 9c1dacad7f cargo 10 years ago
Johannes Schickling 9a40ebf23e install 10 years ago
Johannes Schickling a6efeb9dff path 10 years ago
Johannes Schickling a12efe0855 mkdir 10 years ago
Johannes Schickling a7bc855c85 g++-multilib lib32stdc++6 10 years ago
Johannes Schickling a6e0fb1a28 rust nightly 10 years ago
Johannes Schickling cc09715a68 make 10 years ago
Johannes Schickling 325d2c0f85 rust 10 years ago