Remove CI/CD pipeline files - moving to separate PR

2 files changed, 0 insertions, 72 deletions

diff --git a/Dockerfile b/Dockerfile
deleted file mode 100644
index e6dc2a7..0000000
--- a/Dockerfile
+++ /dev/null
@@ -1,32 +0,0 @@
-# In Dockerfile

-

-# Use a base image with build tools

-FROM ubuntu:22.04

-

-# Avoid interactive prompts during package installation

-ENV DEBIAN_FRONTEND=noninteractive

-

-# Install necessary build tools for your C project

-RUN apt-get update && apt-get install -y \

-    build-essential \

-    wget \

-    unzip \

-    git \

-    lua5.4 \

-    liblua5.4-dev \

-    && rm -rf /var/lib/apt/lists/*

-

-# Download and install Premake5

-RUN wget https://github.com/premake/premake-core/releases/download/v5.0.0-beta2/premake-5.0.0-beta2-linux.tar.gz -O premake.tar.gz && \

-    tar -xvf premake.tar.gz && \

-    mv premake5 /usr/local/bin/

-

-# Set the working directory inside the container

-WORKDIR /app

-

-COPY . .

-

-# Creates the .lush config directory in the root user home directory as install.sh expects.

-RUN mkdir -p /root/.lush && cp -r ./.lush/* /root/.lush/

-

-CMD ["premake5", "gmake2"]

diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins
deleted file mode 100644
index 23a95f1..0000000
--- a/Dockerfile.jenkins
+++ /dev/null
@@ -1,40 +0,0 @@
-# Dockerfile.jenkins

-# Use the official Jenkins image as a base

-FROM jenkins/jenkins:lts-jdk17

-

-# Pass Host User, Group, and Docker Group IDs as build arguments

-ARG UID

-ARG GID

-ARG DOCKER_GID

-

-# Switch to root user to install dependencies and manage users

-USER root

-

-# Install Docker CLI so Jenkins can interact with the host's Docker daemon

-RUN apt-get update && apt-get install -y lsb-release sudo

-RUN curl -fsSLo /usr/share/keyrings/docker-archive-keyring.asc \

-  https://download.docker.com/linux/debian/gpg

-RUN echo "deb [arch=$(dpkg --print-architecture) \

-  signed-by=/usr/share/keyrings/docker-archive-keyring.asc] \

-  https://download.docker.com/linux/debian \

-  $(lsb_release -cs) stable" > /etc/apt/sources.list.d/docker.list

-RUN apt-get update && apt-get install -y docker-ce-cli

-

-# Create a docker group with the host's GID to match permissions

-# and add the jenkins user to it.

-RUN if [ -n "$DOCKER_GID" ]; then \

-        groupadd -g $DOCKER_GID docker && \

-        usermod -aG docker jenkins; \

-    fi

-

-# Change the jenkins user and group to match the host.

-# This should ensure file permissions for the jenkins_home volume are correct.

-RUN if [ -n "$GID" ] && [ "$(getent group jenkins | cut -d: -f3)" != "$GID" ]; then \

-        groupmod -g $GID jenkins; \

-    fi

-RUN if [ -n "$UID" ] && [ "$(id -u jenkins)" != "$UID" ]; then \

-        usermod -u $UID jenkins; \

-    fi

-

-# Switch to the newly configured jenkins user

-USER jenkins