greg/LeanDoom
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

clone from stable branch

Browse Source
This commit is contained in:
Srayan Jana
2025-09-19 21:32:27 -07:00
parent 9cdf401155
commit 0ef1f7f9a7
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
lakefile.lean
View File

@@ -3,13 +3,15 @@ open System Lake DSL
package LeanDoomed package LeanDoomed
-- we can clone directly from main, I'm sure this is fine :)
def sdlGitRepo : String := "https://github.com/libsdl-org/SDL.git" def sdlGitRepo : String := "https://github.com/libsdl-org/SDL.git"
def sdlRepoDir : String := "vendor/SDL" def sdlRepoDir : String := "vendor/SDL"
def sdlImageGitRepo : String := "https://github.com/libsdl-org/SDL_image.git" def sdlImageGitRepo : String := "https://github.com/libsdl-org/SDL_image.git"
def sdlImageRepoDir : String := "vendor/SDL_image" def sdlImageRepoDir : String := "vendor/SDL_image"
-- clone from a stable branch to avoid breakages
def sdlBranch : String := "release-3.2.x"
input_file sdl.c where input_file sdl.c where
path := "c" / "sdl.c" path := "c" / "sdl.c"
text := true text := true
@@ -23,8 +25,8 @@ target sdl.o pkg : FilePath := do
buildO oFile srcJob #[] #["-fPIC", s!"-I{sdlInclude}", s!"-I{sdlImageInclude}", "-D_REENTRANT", s!"-I{leanInclude}"] "cc" buildO oFile srcJob #[] #["-fPIC", s!"-I{sdlInclude}", s!"-I{sdlImageInclude}", "-D_REENTRANT", s!"-I{leanInclude}"] "cc"
target libleansdl pkg : FilePath := do target libleansdl pkg : FilePath := do
let _ ← IO.Process.run { cmd := "git", args := #["clone", "--depth", "1", "--recursive", sdlGitRepo, sdlRepoDir] } let _ ← IO.Process.run { cmd := "git", args := #["clone", "-b", sdlBranch, "--single-branch", "--depth", "1", "--recursive", sdlGitRepo, sdlRepoDir] }
let _ ← IO.Process.run { cmd := "git", args := #["clone", "--depth", "1", "--recursive", sdlImageGitRepo, sdlImageRepoDir] } let _ ← IO.Process.run { cmd := "git", args := #["clone", "-b", sdlBranch, "--single-branch", "--depth", "1", "--recursive", sdlImageGitRepo, sdlImageRepoDir] }
let sdlO ← sdl.o.fetch let sdlO ← sdl.o.fetch
let name := nameToStaticLib "leansdl" let name := nameToStaticLib "leansdl"
-- manually copy the DLLs we need to .lake/build/bin/ for the game to work -- manually copy the DLLs we need to .lake/build/bin/ for the game to work