From db45257688f0bbfd515dc6b143c73102c8ce304e Mon Sep 17 00:00:00 2001 From: Mizux Seiha Date: Wed, 22 Jul 2020 12:51:07 +0200 Subject: [PATCH] ci: Add FreeBSD check (using vagrant) --- .github/workflows/vagrant.yml | 16 +++++ .gitignore | 2 + cmake/Makefile | 22 +++++- cmake/vagrant/freebsd/Vagrantfile | 109 ++++++++++++++++++++++++++++++ 4 files changed, 148 insertions(+), 1 deletion(-) create mode 100644 .github/workflows/vagrant.yml create mode 100644 cmake/vagrant/freebsd/Vagrantfile diff --git a/.github/workflows/vagrant.yml b/.github/workflows/vagrant.yml new file mode 100644 index 0000000000..71b494adf9 --- /dev/null +++ b/.github/workflows/vagrant.yml @@ -0,0 +1,16 @@ +name: Vagrant + +on: [push, pull_request] + +jobs: + # Only macos runner provide virtualisation with vagrant/virtualbox installed. + FreeBSD: + runs-on: macos-latest + steps: + - uses: actions/checkout@v2 + - name: vagrant version + run: Vagrant --version + - name: VirtualBox version + run: virtualbox -h + - name: Build + run: make --directory=cmake freebsd diff --git a/.gitignore b/.gitignore index e5a4409eea..5f56829daf 100644 --- a/.gitignore +++ b/.gitignore @@ -43,6 +43,8 @@ ortools/bazel-* examples/bazel-* bazel-* +.vagrant/ + tools/docker/export CMakeLists.txt.user diff --git a/cmake/Makefile b/cmake/Makefile index 58683f7ef1..b31b508ad3 100644 --- a/cmake/Makefile +++ b/cmake/Makefile @@ -68,8 +68,15 @@ help: @echo -e "\te.g. 'make build'" @echo @echo + @echo -e "\t${BOLD}${RESET}: build the vagrant virtual machine." + @echo + @echo -e "\t${BOLD}${RESET}:" + @echo -e "\t\t${BOLD}freebsd${RESET} (FreeBSD)" + @echo + @echo @echo -e "\t${BOLD}clean${RESET}: Remove cache and docker image." @echo -e "\t${BOLD}clean_${RESET}: Remove cache and docker image for the specified distro." + @echo -e "\t${BOLD}clean_${RESET}: Remove virtual machine for the specified vm." @echo @echo -e "\t${BOLD}NOCACHE=1${RESET}: use 'docker build --no-cache' when building container (default use cache)." @echo @@ -291,15 +298,28 @@ endef $(foreach stage,$(STAGES),$(eval $(call make-stage-target,$(stage)))) +############# +## VAGRANT ## +############# +VMS = freebsd + +$(VMS): %: vagrant/%/Vagrantfile + @cd vagrant/$* && vagrant destroy -f + cd vagrant/$* && vagrant up + # CLEAN targets = $(addprefix clean_, $(DISTROS)) +vms = $(addprefix clean_, $(VMS)) .PHONY: clean $(targets) -clean: $(targets) +clean: $(targets) $(vms) docker container prune -f docker image prune -f -rmdir cache $(targets): clean_%: $(addprefix clean_%_, $(PRESTAGES)) $(addprefix clean_%_, $(STAGES)) -rmdir cache/$* +$(vms): clean_%: + cd vagrant/$* && vagrant destroy -f + -rm -rf vagrant/$*/.vagrant .PHONY: distclean distclean: clean diff --git a/cmake/vagrant/freebsd/Vagrantfile b/cmake/vagrant/freebsd/Vagrantfile new file mode 100644 index 0000000000..dd2d6600fc --- /dev/null +++ b/cmake/vagrant/freebsd/Vagrantfile @@ -0,0 +1,109 @@ +# -*- mode: ruby -*- +# vi: set ft=ruby : + +# All Vagrant configuration is done below. The "2" in Vagrant.configure +# configures the configuration version (we support older styles for +# backwards compatibility). Please don't change it unless you know what +# you're doing. +Vagrant.configure("2") do |config| + # The most common configuration options are documented and commented below. + # For a complete reference, please see the online documentation at + # https://docs.vagrantup.com. + + # Every Vagrant development environment requires a box. You can search for + # boxes at https://vagrantcloud.com/search. + config.vm.guest = :freebsd + config.vm.box = "generic/freebsd12" + + config.ssh.shell = "sh" + + # Disable automatic box update checking. If you disable this, then + # boxes will only be checked for updates when the user runs + # `vagrant box outdated`. This is not recommended. + # config.vm.box_check_update = false + + # Create a forwarded port mapping which allows access to a specific port + # within the machine from a port on the host machine. In the example below, + # accessing "localhost:8080" will access port 80 on the guest machine. + # NOTE: This will enable public access to the opened port + # config.vm.network "forwarded_port", guest: 80, host: 8080 + + # Create a forwarded port mapping which allows access to a specific port + # within the machine from a port on the host machine and only allow access + # via 127.0.0.1 to disable public access + # config.vm.network "forwarded_port", guest: 80, host: 8080, host_ip: "127.0.0.1" + + # Create a private network, which allows host-only access to the machine + # using a specific IP. + # config.vm.network "private_network", ip: "192.168.33.10" + + # Create a public network, which generally matched to bridged network. + # Bridged networks make the machine appear as another physical device on + # your network. + # config.vm.network "public_network" + + # Share an additional folder to the guest VM. The first argument is + # the path on the host to the actual folder. The second argument is + # the path on the guest to mount the folder. And the optional third + # argument is a set of non-required options. + #config.vm.synced_folder "../../..", "/home/vagrant/project" + config.vm.synced_folder ".", "/vagrant", id: "vagrant-root", disabled: true + + + # Provider-specific configuration so you can fine-tune various + # backing providers for Vagrant. These expose provider-specific options. + # Example for VirtualBox: + # + # config.vm.provider "virtualbox" do |vb| + # # Display the VirtualBox GUI when booting the machine + # vb.gui = true + # + # # Customize the amount of memory on the VM: + # vb.memory = "1024" + # end + # + # View the documentation for the provider you are using for more + # information on available options. + + # Enable provisioning with a shell script. Additional provisioners such as + # Ansible, Chef, Docker, Puppet and Salt are also available. Please see the + # documentation for more information about their specific syntax and use. + # note: clang installed by default + config.vm.provision "env", type: "shell", inline:<<-SHELL + set -x + pkg update -f + pkg install -y git cmake + SHELL + + config.vm.provision "file", source: "../../../CMakeLists.txt", destination: "$HOME/project/" + config.vm.provision "file", source: "../../../cmake", destination: "$HOME/project/" + config.vm.provision "file", source: "../../../ortools", destination: "$HOME/project/" + config.vm.provision "file", source: "../../../examples/cpp", destination: "$HOME/project/examples/" + config.vm.provision "file", source: "../../../patches", destination: "$HOME/project/" + config.vm.provision "file", source: "../../../Version.txt", destination: "$HOME/project/" + config.vm.provision "file", source: "../../../dependencies", destination: "$HOME/project/" + + config.vm.provision "devel", type: "shell", inline:<<-SHELL + set -x + cd project + ls + SHELL + + config.vm.provision "configure", type: "shell", inline:<<-SHELL + set -x + cd project + cmake -S. -Bbuild -DBUILD_DEPS=ON + SHELL + + config.vm.provision "build", type: "shell", inline:<<-SHELL + set -x + cd project + cmake --build build -v + SHELL + + config.vm.provision "test", type: "shell", inline:<<-SHELL + set -x + cd project + cmake --build build --target test -v + SHELL +end