mirror of
https://github.com/fluencelabs/wasmer
synced 2024-12-04 18:10:18 +00:00
80 lines
1.4 KiB
Bash
Executable File
80 lines
1.4 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
# Wasmer build tool
|
|
#
|
|
# This is a script to build Wasmer in a Docker sandbox.
|
|
#
|
|
# To use the script, first make sure Docker is installed. Then build the
|
|
# sandbox image with:
|
|
#
|
|
# docker build --file Dockerfile --tag wasmer-build .
|
|
#
|
|
# After the sandbox image is built successfully, you can run commands in it
|
|
# with this script.
|
|
#
|
|
# For example, to build Wasmer, run:
|
|
#
|
|
# ./build make
|
|
#
|
|
# To test Wasmer, run:
|
|
#
|
|
# ./build make test
|
|
#
|
|
# and so on.
|
|
|
|
docker_hostname="wasmer-build"
|
|
|
|
docker_img="wasmer-build"
|
|
|
|
docker_workdir="/wasmer"
|
|
|
|
docker_args=(
|
|
#
|
|
# General config.
|
|
#
|
|
--hostname=${docker_hostname}
|
|
--interactive
|
|
--network=host
|
|
--rm
|
|
--tty
|
|
|
|
#
|
|
# User and group config.
|
|
#
|
|
# Use the same user and group permissions as host to make integration
|
|
# between host and container simple.
|
|
#
|
|
--user "$(id --user):$(id --group)"
|
|
--volume "/etc/group:/etc/group:ro"
|
|
--volume "/etc/passwd:/etc/passwd:ro"
|
|
--volume "/etc/shadow:/etc/shadow:ro"
|
|
|
|
#
|
|
# Time zone config.
|
|
#
|
|
# Use the same time zone as the host.
|
|
#
|
|
--volume "/etc/localtime:/etc/localtime:ro"
|
|
|
|
#
|
|
# Linux capabilities.
|
|
#
|
|
# Add SYS_PTRACE capability to the container so that people can run
|
|
# `strace'.
|
|
#
|
|
--cap-add SYS_PTRACE
|
|
|
|
#
|
|
# Source directory.
|
|
#
|
|
--workdir=${docker_workdir}
|
|
--volume "$(pwd):${docker_workdir}:z"
|
|
|
|
#
|
|
# Environment variables.
|
|
#
|
|
--env "CARGO_HOME=${docker_workdir}/.cargo"
|
|
)
|
|
|
|
docker run ${docker_args[@]} ${docker_img} $*
|