Resolve "CentOS 7 Docker devel env" (!2) · Merge requests · sispub / lbibcell · GitLab

Snippets Groups Projects

Merged Ghost User requested to merge 4-centos-7-docker-devel-env into devel 4 years ago

Jun 10, 2020
- In Dockerfile: fix BOOST_ROOT env var set · d0c22008
  Mikolaj Rybinski authored 4 years ago
  
  d0c22008
- Rm unnecessary in out-of-source-build ignores/clean rm · 57e347f8
  Mikolaj Rybinski authored 4 years ago
  
  57e347f8
- Missing includes for non-permissive gcc-4.8.5 build · 01ddcfd1
  Mikolaj Rybinski authored 4 years ago
  
  01ddcfd1
- Top-level devel Makefile · 6e6fcf1f
  Mikolaj Rybinski authored 4 years ago
  
  6e6fcf1f
- Docker devel environment file · 0df032c4
  Mikolaj Rybinski authored 4 years ago
  
  0df032c4
- ignore build artifacts · 474cdf2a
  Mikolaj Rybinski authored 4 years ago
  
  474cdf2a