Merge pull request #483 from codecrafters-io/andy/upgrade-gleam

CC-2114: Upgrade Gleam to v1.14

Author: andy1li

compiled_starters/gleam/README.md

@@ -26,7 +26,7 @@ That's all!
 
 Note: This section is for stages 2 and beyond.
 
-1. Ensure you have `gleam (1.13.0)` installed locally
+1. Ensure you have `gleam (1.14.0)` installed locally
 1. Run `./your_program.sh` to run your Redis server, which is implemented in
    `src/main.gleam`.
 1. Commit your changes and run `git push origin master` to submit your solution

compiled_starters/gleam/codecrafters.yml

@@ -7,5 +7,5 @@ debug: false
 # Use this to change the Gleam version used to run your code
 # on Codecrafters.
 #
-# Available versions: gleam-1.13
-buildpack: gleam-1.13
+# Available versions: gleam-1.14
+buildpack: gleam-1.14

dockerfiles/gleam-1.14.Dockerfile

@@ -0,0 +1,17 @@
+# syntax=docker/dockerfile:1.7-labs
+FROM ghcr.io/gleam-lang/gleam:v1.14.0-erlang-alpine
+
+# Rebuild if gleam.toml or manifest.toml change
+ENV CODECRAFTERS_DEPENDENCY_FILE_PATHS="gleam.toml,manifest.toml"
+
+WORKDIR /app
+
+# .git & README.md are unique per-repository. We ignore them on first copy to prevent cache misses
+COPY --exclude=.git --exclude=README.md . /app
+
+# Force deps to be downloaded
+RUN gleam build
+
+# Cache build directory
+RUN mkdir -p /app-cached
+RUN mv build /app-cached/build

solutions/gleam/01-jm1/code/README.md

@@ -26,7 +26,7 @@ That's all!
 
 Note: This section is for stages 2 and beyond.
 
-1. Ensure you have `gleam (1.13.0)` installed locally
+1. Ensure you have `gleam (1.14.0)` installed locally
 1. Run `./your_program.sh` to run your Redis server, which is implemented in
    `src/main.gleam`.
 1. Commit your changes and run `git push origin master` to submit your solution

solutions/gleam/01-jm1/code/codecrafters.yml

@@ -7,5 +7,5 @@ debug: false
 # Use this to change the Gleam version used to run your code
 # on Codecrafters.
 #
-# Available versions: gleam-1.13
-buildpack: gleam-1.13
+# Available versions: gleam-1.14
+buildpack: gleam-1.14

solutions/gleam/02-rg2/code/README.md

@@ -26,7 +26,7 @@ That's all!
 
 Note: This section is for stages 2 and beyond.
 
-1. Ensure you have `gleam (1.13.0)` installed locally
+1. Ensure you have `gleam (1.14.0)` installed locally
 1. Run `./your_program.sh` to run your Redis server, which is implemented in
    `src/main.gleam`.
 1. Commit your changes and run `git push origin master` to submit your solution

solutions/gleam/02-rg2/code/codecrafters.yml

@@ -7,5 +7,5 @@ debug: false
 # Use this to change the Gleam version used to run your code
 # on Codecrafters.
 #
-# Available versions: gleam-1.13
-buildpack: gleam-1.13
+# Available versions: gleam-1.14
+buildpack: gleam-1.14

starter_templates/gleam/config.yml

@@ -1,3 +1,3 @@
 attributes:
-  required_executable: gleam (1.13.0)
+  required_executable: gleam (1.14.0)
   user_editable_file: src/main.gleam