2020-01-08 23:45:47 +03:00
|
|
|
module vgit
|
|
|
|
|
|
|
|
import os
|
|
|
|
import flag
|
|
|
|
import scripting
|
|
|
|
|
|
|
|
pub fn check_v_commit_timestamp_before_self_rebuilding(v_timestamp int) {
|
|
|
|
if v_timestamp >= 1561805697 {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
eprintln('##################################################################')
|
|
|
|
eprintln('# WARNING: v self rebuilding, before 5b7a1e8 (2019-06-29 12:21) #')
|
|
|
|
eprintln('# required the v executable to be built *inside* #')
|
|
|
|
eprintln('# the toplevel compiler/ folder. #')
|
|
|
|
eprintln('# #')
|
|
|
|
eprintln('# That is not supported by this tool. #')
|
|
|
|
eprintln('# You will have to build it manually there. #')
|
|
|
|
eprintln('##################################################################')
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn validate_commit_exists(commit string) {
|
|
|
|
if commit.len == 0 {
|
|
|
|
return
|
|
|
|
}
|
2020-12-04 17:05:39 +03:00
|
|
|
cmd := "git cat-file -t '$commit' "
|
2020-01-08 23:45:47 +03:00
|
|
|
if !scripting.exit_0_status(cmd) {
|
|
|
|
eprintln('Commit: "$commit" does not exist in the current repository.')
|
|
|
|
exit(3)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-10-15 00:39:09 +03:00
|
|
|
pub fn line_to_timestamp_and_commit(line string) (int, string) {
|
2020-01-08 23:45:47 +03:00
|
|
|
parts := line.split(' ')
|
2020-10-15 00:39:09 +03:00
|
|
|
return parts[0].int(), parts[1]
|
2020-01-08 23:45:47 +03:00
|
|
|
}
|
|
|
|
|
2020-10-15 16:17:52 +03:00
|
|
|
pub fn normalized_workpath_for_commit(workdir string, commit string) string {
|
2020-01-08 23:45:47 +03:00
|
|
|
nc := 'v_at_' + commit.replace('^', '_').replace('-', '_').replace('/', '_')
|
2020-03-20 18:41:18 +03:00
|
|
|
return os.real_path(workdir + os.path_separator + nc)
|
2020-01-08 23:45:47 +03:00
|
|
|
}
|
|
|
|
|
2021-04-06 11:43:46 +03:00
|
|
|
fn get_current_folder_commit_hash() string {
|
|
|
|
vline := scripting.run('git rev-list -n1 --timestamp HEAD')
|
|
|
|
_, v_commithash := line_to_timestamp_and_commit(vline)
|
|
|
|
return v_commithash
|
|
|
|
}
|
|
|
|
|
2020-10-15 16:17:52 +03:00
|
|
|
pub fn prepare_vc_source(vcdir string, cdir string, commit string) (string, string) {
|
2020-01-08 23:45:47 +03:00
|
|
|
scripting.chdir(cdir)
|
|
|
|
// Building a historic v with the latest vc is not always possible ...
|
|
|
|
// It is more likely, that the vc *at the time of the v commit*,
|
|
|
|
// or slightly before that time will be able to build the historic v:
|
|
|
|
vline := scripting.run('git rev-list -n1 --timestamp "$commit" ')
|
2020-10-15 00:39:09 +03:00
|
|
|
v_timestamp, v_commithash := line_to_timestamp_and_commit(vline)
|
2021-01-12 12:30:48 +03:00
|
|
|
scripting.verbose_trace(@FN, 'v_timestamp: $v_timestamp | v_commithash: $v_commithash')
|
2020-10-15 00:39:09 +03:00
|
|
|
check_v_commit_timestamp_before_self_rebuilding(v_timestamp)
|
2020-01-08 23:45:47 +03:00
|
|
|
scripting.chdir(vcdir)
|
2021-04-06 11:43:46 +03:00
|
|
|
scripting.run('git checkout --quiet master')
|
2021-01-12 12:30:48 +03:00
|
|
|
//
|
|
|
|
mut vccommit := ''
|
|
|
|
vcbefore_subject_match := scripting.run('git rev-list HEAD -n1 --timestamp --grep=${v_commithash[0..7]} ')
|
|
|
|
scripting.verbose_trace(@FN, 'vcbefore_subject_match: $vcbefore_subject_match')
|
|
|
|
if vcbefore_subject_match.len > 3 {
|
|
|
|
_, vccommit = line_to_timestamp_and_commit(vcbefore_subject_match)
|
|
|
|
} else {
|
|
|
|
scripting.verbose_trace(@FN, 'the v commit did not match anything in the vc log; try --timestamp instead.')
|
|
|
|
vcbefore := scripting.run('git rev-list HEAD -n1 --timestamp --before=$v_timestamp ')
|
|
|
|
_, vccommit = line_to_timestamp_and_commit(vcbefore)
|
|
|
|
}
|
|
|
|
scripting.verbose_trace(@FN, 'vccommit: $vccommit')
|
2021-04-06 11:43:46 +03:00
|
|
|
scripting.run('git checkout --quiet "$vccommit" ')
|
2020-01-08 23:45:47 +03:00
|
|
|
scripting.run('wc *.c')
|
|
|
|
scripting.chdir(cdir)
|
2021-01-12 12:30:48 +03:00
|
|
|
return v_commithash, vccommit
|
2020-01-08 23:45:47 +03:00
|
|
|
}
|
|
|
|
|
2020-10-15 16:17:52 +03:00
|
|
|
pub fn clone_or_pull(remote_git_url string, local_worktree_path string) {
|
2022-03-06 20:01:22 +03:00
|
|
|
// Note: after clone_or_pull, the current repo branch is === HEAD === master
|
2021-11-22 22:42:43 +03:00
|
|
|
if os.is_dir(local_worktree_path) && os.is_dir(os.join_path_single(local_worktree_path, '.git')) {
|
2020-01-08 23:45:47 +03:00
|
|
|
// Already existing ... Just pulling in this case is faster usually.
|
|
|
|
scripting.run('git -C "$local_worktree_path" checkout --quiet master')
|
|
|
|
scripting.run('git -C "$local_worktree_path" pull --quiet ')
|
|
|
|
} else {
|
|
|
|
// Clone a fresh
|
|
|
|
scripting.run('git clone --quiet "$remote_git_url" "$local_worktree_path" ')
|
|
|
|
}
|
2020-02-17 22:31:23 +03:00
|
|
|
}
|
2020-01-08 23:45:47 +03:00
|
|
|
|
|
|
|
pub struct VGitContext {
|
|
|
|
pub:
|
2021-01-12 12:30:48 +03:00
|
|
|
cc string = 'cc' // what compiler to use
|
|
|
|
workdir string = '/tmp' // the base working folder
|
|
|
|
commit_v string = 'master' // the commit-ish that needs to be prepared
|
|
|
|
path_v string // where is the local working copy v repo
|
|
|
|
path_vc string // where is the local working copy vc repo
|
|
|
|
v_repo_url string // the remote v repo URL
|
|
|
|
vc_repo_url string // the remote vc repo URL
|
2020-01-08 23:45:47 +03:00
|
|
|
pub mut:
|
|
|
|
// these will be filled by vgitcontext.compile_oldv_if_needed()
|
|
|
|
commit_v__hash string // the git commit of the v repo that should be prepared
|
|
|
|
commit_vc_hash string // the git commit of the vc repo, corresponding to commit_v__hash
|
2020-10-15 00:39:09 +03:00
|
|
|
vexename string // v or v.exe
|
|
|
|
vexepath string // the full absolute path to the prepared v/v.exe
|
|
|
|
vvlocation string // v.v or compiler/ or cmd/v, depending on v version
|
2021-05-31 14:21:06 +03:00
|
|
|
make_fresh_tcc bool // whether to do 'make fresh_tcc' before compiling an old V.
|
2020-01-08 23:45:47 +03:00
|
|
|
}
|
|
|
|
|
2020-05-17 14:51:18 +03:00
|
|
|
pub fn (mut vgit_context VGitContext) compile_oldv_if_needed() {
|
2020-01-08 23:45:47 +03:00
|
|
|
vgit_context.vexename = if os.user_os() == 'windows' { 'v.exe' } else { 'v' }
|
2021-11-22 22:42:43 +03:00
|
|
|
vgit_context.vexepath = os.real_path(os.join_path_single(vgit_context.path_v, vgit_context.vexename))
|
2020-01-08 23:45:47 +03:00
|
|
|
mut command_for_building_v_from_c_source := ''
|
|
|
|
mut command_for_selfbuilding := ''
|
|
|
|
if 'windows' == os.user_os() {
|
2021-09-28 10:28:04 +03:00
|
|
|
command_for_building_v_from_c_source = '$vgit_context.cc -std=c99 -I ./thirdparty/stdatomic/win -municode -w -o cv.exe "$vgit_context.path_vc/v_win.c" '
|
2022-10-27 11:00:51 +03:00
|
|
|
command_for_selfbuilding = './cv.exe -o $vgit_context.vexename \{SOURCE}'
|
2020-10-15 00:39:09 +03:00
|
|
|
} else {
|
2021-09-28 10:28:04 +03:00
|
|
|
command_for_building_v_from_c_source = '$vgit_context.cc -std=gnu11 -I ./thirdparty/stdatomic/nix -w -o cv "$vgit_context.path_vc/v.c" -lm -lpthread'
|
2022-10-27 11:00:51 +03:00
|
|
|
command_for_selfbuilding = './cv -o $vgit_context.vexename \{SOURCE}'
|
2020-01-08 23:45:47 +03:00
|
|
|
}
|
|
|
|
scripting.chdir(vgit_context.workdir)
|
2020-10-15 00:39:09 +03:00
|
|
|
clone_or_pull(vgit_context.v_repo_url, vgit_context.path_v)
|
|
|
|
clone_or_pull(vgit_context.vc_repo_url, vgit_context.path_vc)
|
2020-01-08 23:45:47 +03:00
|
|
|
scripting.chdir(vgit_context.path_v)
|
2021-04-06 11:43:46 +03:00
|
|
|
scripting.run('git checkout --quiet $vgit_context.commit_v')
|
|
|
|
if os.is_dir(vgit_context.path_v) && os.exists(vgit_context.vexepath) {
|
|
|
|
// already compiled, so no need to compile v again
|
|
|
|
vgit_context.commit_v__hash = get_current_folder_commit_hash()
|
|
|
|
return
|
|
|
|
}
|
2020-10-15 00:39:09 +03:00
|
|
|
v_commithash, vccommit_before := prepare_vc_source(vgit_context.path_vc, vgit_context.path_v,
|
2021-01-12 12:30:48 +03:00
|
|
|
'HEAD')
|
2020-01-08 23:45:47 +03:00
|
|
|
vgit_context.commit_v__hash = v_commithash
|
|
|
|
vgit_context.commit_vc_hash = vccommit_before
|
2020-02-09 12:08:04 +03:00
|
|
|
if os.exists('cmd/v') {
|
|
|
|
vgit_context.vvlocation = 'cmd/v'
|
|
|
|
} else {
|
|
|
|
vgit_context.vvlocation = if os.exists('v.v') { 'v.v' } else { 'compiler' }
|
|
|
|
}
|
2020-01-08 23:45:47 +03:00
|
|
|
if os.is_dir(vgit_context.path_v) && os.exists(vgit_context.vexepath) {
|
|
|
|
// already compiled, so no need to compile v again
|
|
|
|
return
|
|
|
|
}
|
|
|
|
// Recompilation is needed. Just to be sure, clean up everything first.
|
|
|
|
scripting.run('git clean -xf')
|
2021-05-31 14:21:06 +03:00
|
|
|
if vgit_context.make_fresh_tcc {
|
|
|
|
scripting.run('make fresh_tcc')
|
|
|
|
}
|
2020-01-08 23:45:47 +03:00
|
|
|
scripting.run(command_for_building_v_from_c_source)
|
2022-10-27 11:00:51 +03:00
|
|
|
build_cmd := command_for_selfbuilding.replace('\{SOURCE}', vgit_context.vvlocation)
|
2020-01-08 23:45:47 +03:00
|
|
|
scripting.run(build_cmd)
|
|
|
|
// At this point, there exists a file vgit_context.vexepath
|
|
|
|
// which should be a valid working V executable.
|
|
|
|
}
|
|
|
|
|
2020-04-20 18:39:25 +03:00
|
|
|
pub struct VGitOptions {
|
2020-05-10 18:41:25 +03:00
|
|
|
pub mut:
|
2020-10-15 00:39:09 +03:00
|
|
|
workdir string // the working folder (typically /tmp), where the tool will write
|
|
|
|
v_repo_url string // the url of the V repository. It can be a local folder path, if you want to eliminate network operations...
|
|
|
|
vc_repo_url string // the url of the vc repository. It can be a local folder path, if you want to eliminate network operations...
|
2021-01-12 12:30:48 +03:00
|
|
|
show_help bool // whether to show the usage screen
|
|
|
|
verbose bool // should the tool be much more verbose
|
2020-04-20 18:39:25 +03:00
|
|
|
}
|
|
|
|
|
2020-06-04 11:35:40 +03:00
|
|
|
pub fn add_common_tool_options(mut context VGitOptions, mut fp flag.FlagParser) []string {
|
2020-03-10 17:02:09 +03:00
|
|
|
tdir := os.temp_dir()
|
2021-04-07 12:22:51 +03:00
|
|
|
context.workdir = os.real_path(fp.string('workdir', `w`, context.workdir, 'A writable base folder. Default: $tdir'))
|
|
|
|
context.v_repo_url = fp.string('vrepo', 0, context.v_repo_url, 'The url of the V repository. You can clone it locally too. See also --vcrepo below.')
|
|
|
|
context.vc_repo_url = fp.string('vcrepo', 0, context.vc_repo_url, 'The url of the vc repository. You can clone it
|
2020-04-07 14:14:22 +03:00
|
|
|
${flag.space}beforehand, and then just give the local folder
|
|
|
|
${flag.space}path here. That will eliminate the network ops
|
|
|
|
${flag.space}done by this tool, which is useful, if you want
|
|
|
|
${flag.space}to script it/run it in a restrictive vps/docker.
|
2020-01-08 23:45:47 +03:00
|
|
|
')
|
2020-03-19 09:06:37 +03:00
|
|
|
context.show_help = fp.bool('help', `h`, false, 'Show this help screen.')
|
|
|
|
context.verbose = fp.bool('verbose', `v`, false, 'Be more verbose.')
|
2020-03-29 11:08:42 +03:00
|
|
|
if context.show_help {
|
2020-01-08 23:45:47 +03:00
|
|
|
println(fp.usage())
|
|
|
|
exit(0)
|
|
|
|
}
|
|
|
|
if context.verbose {
|
|
|
|
scripting.set_verbose(true)
|
|
|
|
}
|
|
|
|
if os.is_dir(context.v_repo_url) {
|
2020-10-15 00:39:09 +03:00
|
|
|
context.v_repo_url = os.real_path(context.v_repo_url)
|
2020-01-08 23:45:47 +03:00
|
|
|
}
|
|
|
|
if os.is_dir(context.vc_repo_url) {
|
2020-10-15 00:39:09 +03:00
|
|
|
context.vc_repo_url = os.real_path(context.vc_repo_url)
|
2020-01-08 23:45:47 +03:00
|
|
|
}
|
|
|
|
commits := fp.finalize() or {
|
2021-02-28 22:24:29 +03:00
|
|
|
eprintln('Error: $err')
|
2020-01-08 23:45:47 +03:00
|
|
|
exit(1)
|
|
|
|
}
|
|
|
|
for commit in commits {
|
2020-10-15 00:39:09 +03:00
|
|
|
validate_commit_exists(commit)
|
2020-01-08 23:45:47 +03:00
|
|
|
}
|
|
|
|
return commits
|
|
|
|
}
|