Merge pull request #150 from Nuxij/gitpod-config
Custom Dockerfile for gitpod.io
This commit is contained in:
		
						commit
						5d39cd0a6e
					
				
							
								
								
									
										18
									
								
								.gitpod.yml
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										18
									
								
								.gitpod.yml
									
									
									
									
									
										Normal file
									
								
							@ -0,0 +1,18 @@
 | 
			
		||||
image:
 | 
			
		||||
  file: docker/.gitpod.Dockerfile
 | 
			
		||||
github:
 | 
			
		||||
  prebuilds:
 | 
			
		||||
    # enable for the master/default branch (defaults to true)
 | 
			
		||||
    master: true
 | 
			
		||||
    # enable for all branches in this repo (defaults to false)
 | 
			
		||||
    branches: false
 | 
			
		||||
    # enable for pull requests coming from this repo (defaults to true)
 | 
			
		||||
    pullRequests: false
 | 
			
		||||
    # enable for pull requests coming from forks (defaults to false)
 | 
			
		||||
    pullRequestsFromForks: false
 | 
			
		||||
    # add a "Review in Gitpod" button as a comment to pull requests (defaults to true)
 | 
			
		||||
    addComment: true
 | 
			
		||||
    # add a "Review in Gitpod" button to pull requests (defaults to false)
 | 
			
		||||
    addBadge: false
 | 
			
		||||
    # add a label once the prebuild is ready to pull requests (defaults to false)
 | 
			
		||||
    addLabel: false #prebuilt-in-gitpod
 | 
			
		||||
							
								
								
									
										39
									
								
								docker/.gitpod.Dockerfile
									
									
									
									
										vendored
									
									
										Normal file
									
								
							
							
						
						
									
										39
									
								
								docker/.gitpod.Dockerfile
									
									
									
									
										vendored
									
									
										Normal file
									
								
							@ -0,0 +1,39 @@
 | 
			
		||||
FROM gitpod/workspace-full
 | 
			
		||||
 | 
			
		||||
USER root
 | 
			
		||||
ARG DEBIAN_FRONTEND=noninteractive
 | 
			
		||||
RUN apt-get update -qq \
 | 
			
		||||
    && apt-get install -y \
 | 
			
		||||
# x86_64 / generic packages
 | 
			
		||||
      bash \
 | 
			
		||||
      build-essential \
 | 
			
		||||
      cmake \
 | 
			
		||||
      git \
 | 
			
		||||
      make \
 | 
			
		||||
      python3 \
 | 
			
		||||
      python3-pip \
 | 
			
		||||
      tar \
 | 
			
		||||
      unzip \
 | 
			
		||||
      wget \ 
 | 
			
		||||
# aarch64 packages
 | 
			
		||||
      libffi-dev \
 | 
			
		||||
      libssl-dev \
 | 
			
		||||
      python3-dev \ 
 | 
			
		||||
    && rm -rf /var/cache/apt/* /var/lib/apt/lists/*;
 | 
			
		||||
 | 
			
		||||
# Needs to be installed as root
 | 
			
		||||
RUN pip3 install adafruit-nrfutil
 | 
			
		||||
 | 
			
		||||
COPY docker/build.sh /opt/
 | 
			
		||||
# Lets get each in a separate docker layer for better downloads
 | 
			
		||||
# GCC
 | 
			
		||||
RUN bash -c "source /opt/build.sh; GetGcc;"
 | 
			
		||||
# NrfSdk
 | 
			
		||||
RUN bash -c "source /opt/build.sh; GetNrfSdk;"
 | 
			
		||||
# McuBoot
 | 
			
		||||
RUN bash -c "source /opt/build.sh; GetMcuBoot;"
 | 
			
		||||
 | 
			
		||||
# Link the default checkout workspace in to the default $SOURCES_DIR
 | 
			
		||||
RUN ln -s /workspace/Pinetime /sources
 | 
			
		||||
 | 
			
		||||
USER gitpod
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user