Skip to content

Commit 0b601be

Browse files
hyperpolymathclaude
andcommitted
chore: Justfile recapitalization + launcher path correction
Estate-wide standardization on capitalized Justfile (matching standards/Justfile and rsr-template-repo). Affects 4 lowercase \`justfile\` -> \`Justfile\` renames (lithoglyph/glyphbase, lithoglyph/gql-dt, lithoglyph/studio, verisim-modular-experiment; content preserved) and 2 Makefile -> Justfile migrations (lithoglyph/beam/native, lithoglyph/glyphbase/server/native). Plus nqc/nqc-enhanced-launcher.sh path correction: nqc moved under developer-ecosystem/nextgen-databases/, and invariant-path moved under verification-ecosystem/. The launcher's source paths needed bumping to match. Note: deletions of Cargo.lock/mix.lock/deno.lock files left uncommitted pending review (lockfiles should usually be tracked for reproducibility — needs intent confirmation). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent 427123e commit 0b601be

9 files changed

Lines changed: 54 additions & 78 deletions

File tree

lithoglyph/beam/native/Justfile

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# Justfile for Lith NIF
3+
4+
set shell := ["bash", "-euo", "pipefail", "-c"]
5+
6+
priv_dir := "../priv"
7+
8+
default:
9+
@just --list --unsorted
10+
11+
all:
12+
@mkdir -p {{priv_dir}}
13+
@ERL_INCLUDE_PATH="$$(erl -noshell -eval 'io:format("~s/usr/include", [code:root_dir()])' -s init stop)" \
14+
zig build -Doptimize=ReleaseSafe
15+
16+
lith:
17+
@lith_path="${LITH_PATH:-$HOME/Documents/hyperpolymath-repos/lith}"
18+
cd "$$lith_path/core-zig" && zig build
19+
20+
erl:
21+
erlc -o ../ebin src/lith_nif.erl
22+
23+
clean:
24+
rm -rf zig-cache zig-out {{priv_dir}}/lith_nif.so
25+
26+
test:
27+
zig build test
28+
29+
install: all
30+
@erl_lib_path="$$(erl -noshell -eval 'io:format("~s/usr/lib", [code:root_dir()])' -s init stop)"
31+
cp {{priv_dir}}/lith_nif.so "$$erl_lib_path/"
32+
33+
dev: all erl
34+
@echo "NIF built successfully"
35+
@echo "Library: {{priv_dir}}/lith_nif.so"

lithoglyph/beam/native/Makefile

Lines changed: 0 additions & 48 deletions
This file was deleted.
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# Justfile for Lith NIF C wrapper
3+
4+
set shell := ["bash", "-euo", "pipefail", "-c"]
5+
6+
default:
7+
@just --list --unsorted
8+
9+
all:
10+
@erl_include="$$(erl -eval 'io:format("~s", [code:root_dir()])' -s init stop -noshell)/erts-$$(erl -eval 'io:format("~s", [erlang:system_info(version)])' -s init stop -noshell)/include"
11+
@mkdir -p ../priv
12+
${CC:-cc} -fPIC -O2 -Wall -I"$$erl_include" lith_nif.c -o ../priv/lith_nif.so -shared -L../../../lith/ffi/zig/zig-out/lib -llith
13+
@echo "Built ../priv/lith_nif.so"
14+
15+
clean:
16+
rm -f ../priv/lith_nif.so
17+
rm -rf ../priv

lithoglyph/glyphbase/server/native/Makefile

Lines changed: 0 additions & 28 deletions
This file was deleted.

nqc/nqc-enhanced-launcher.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
set -euo pipefail
66

77
# Source the original launcher to maintain all existing functionality
8-
source "/var/mnt/eclipse/repos/nextgen-databases/nqc/nqc-launcher.sh"
8+
source "/var/mnt/eclipse/repos/developer-ecosystem/nextgen-databases/nqc/nqc-launcher.sh"
99

1010
# Enhanced functions
1111
run_tui() {
@@ -43,7 +43,7 @@ launch_invariant_path() {
4343
if [[ ! -f "$ip_launcher" ]]; then
4444
err "invariant-path launcher not found at $ip_launcher"
4545
err "Trying alternative location..."
46-
ip_launcher="/var/mnt/eclipse/repos/invariant-path/invariant-path-launcher"
46+
ip_launcher="/var/mnt/eclipse/repos/verification-ecosystem/invariant-path/invariant-path-launcher"
4747
fi
4848

4949
if [[ -f "$ip_launcher" ]]; then

0 commit comments

Comments
 (0)