Skip to content

Commit

Permalink
dkcoder.project.init and DkStd_Std.Project.init (8/n)
Browse files Browse the repository at this point in the history
+ The -windows-boot is not needed now that we use EXIT
  rather than EXIT /B.
  • Loading branch information
jonahbeckford committed Dec 6, 2024
1 parent f9c3770 commit 2893181
Showing 1 changed file with 1 addition and 7 deletions.
8 changes: 1 addition & 7 deletions cmake/scripts/dkcoder/project/init.cmake
Original file line number Diff line number Diff line change
Expand Up @@ -133,13 +133,7 @@ macro(dkcoder_project_init)
file(CONFIGURE OUTPUT "${DKCODER_POST_SCRIPT}" CONTENT [[
CD /D "@CMAKE_CURRENT_BINARY_DIR_NATIVE@"

REM 1. We copy the dk.cmd and __dk.cmake to the new project directory
CALL "@dk_cmd_NATIVE@" @dk_run@ --generator dune --you-dir "@CMAKE_SOURCE_DIR_NATIVE@\src" -- DkStd_Std.Project.Init -windows-boot @init_OPTIONS@ "@DKCODER_PWD_NATIVE@" "@CMAKE_SOURCE_DIR_NATIVE@"
IF %ERRORLEVEL% NEQ 0 EXIT /B %ERRORLEVEL%

REM 2. We do the dkcoder/ project deletion from the new project directory.
REM The deletion will not erase the running dk.cmd script and cause 'The system cannot find the path specified.'
CALL "@DKCODER_PWD_NATIVE@\dk.cmd" @dk_run@ --generator dune --you-dir "@CMAKE_SOURCE_DIR_NATIVE@\src" -- DkStd_Std.Project.Init -delete-dkcoder-after @init_OPTIONS@ "@DKCODER_PWD_NATIVE@" "@CMAKE_SOURCE_DIR_NATIVE@"
CALL "@dk_cmd_NATIVE@" @dk_run@ --generator dune --you-dir "@CMAKE_SOURCE_DIR_NATIVE@\src" -- DkStd_Std.Project.Init -delete-dkcoder-after @init_OPTIONS@ "@DKCODER_PWD_NATIVE@" "@CMAKE_SOURCE_DIR_NATIVE@"
IF %ERRORLEVEL% NEQ 0 EXIT /B %ERRORLEVEL%

ECHO dkcoder: project installed.
Expand Down

0 comments on commit 2893181

Please sign in to comment.