mcpp/tests/e2e/169_semver_project_index.sh at 4b0aa9e6afa97ac0fe72344a470e80b295c7aac5 · mcpp-community/mcpp · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
#!/usr/bin/env bash
# requires: gcc fresh-sandbox
# #308: a SemVer constraint on a package served by a project `[indices]` entry
# must resolve. Version resolution used to read the shared registry directly
# instead of routing like candidate selection does, so the exact-version form
# (`gadget = "2.0.0"`) worked while the constraint form (`gadget = "^2.0"`) failed
# with "run `mcpp index update` first" — advice that does nothing for a local
# path index. Both forms are asserted here so the two cannot drift apart again.
#
# No network: the index is a local path and the package payload is pre-seeded
# into the project's xlings data dir, so nothing is ever downloaded.
set -e

TMP=$(mktemp -d)
trap "rm -rf $TMP" EXIT

export MCPP_HOME="$TMP/mcpp-home"
source "$(dirname "$0")/_inherit_toolchain.sh"

mkdir -p "$TMP/proj"
cd "$TMP/proj"

# ── A project-local index carrying acme.gadget 2.0.0 and 2.1.0 ────────────
mkdir -p local-index/pkgs/a
cat > local-index/pkgs/a/acme.gadget.lua <<'EOF'
package = {
    spec = "1",
    namespace = "acme",
    name = "acme.gadget",
    description = "Package reachable only through a project [indices] entry",
    licenses = {"MIT"},
    type = "package",
    xpm = {
        linux = {
            ["2.0.0"] = {
                url = "https://example.invalid/gadget-2.0.0.tar.gz",
                sha256 = "0000000000000000000000000000000000000000000000000000000000000000",
            },
            ["2.1.0"] = {
                url = "https://example.invalid/gadget-2.1.0.tar.gz",
                sha256 = "0000000000000000000000000000000000000000000000000000000000000000",
            },
        },
        macosx = {
            ["2.0.0"] = {
                url = "https://example.invalid/gadget-2.0.0.tar.gz",
                sha256 = "0000000000000000000000000000000000000000000000000000000000000000",
            },
            ["2.1.0"] = {
                url = "https://example.invalid/gadget-2.1.0.tar.gz",
                sha256 = "0000000000000000000000000000000000000000000000000000000000000000",
            },
        },
        windows = {
            ["2.0.0"] = {
                url = "https://example.invalid/gadget-2.0.0.zip",
                sha256 = "0000000000000000000000000000000000000000000000000000000000000000",
            },
            ["2.1.0"] = {
                url = "https://example.invalid/gadget-2.1.0.zip",
                sha256 = "0000000000000000000000000000000000000000000000000000000000000000",
            },
        },
    },
    mcpp = {
        language = "c++23",
        import_std = false,
        sources = { "src/gadget.cppm" },
        targets = { ["gadget"] = { kind = "lib" } },
        deps = {},
    },
}
EOF

# ── Pre-seed the payload so resolution is the only thing under test ─────
mkdir -p .mcpp/.xlings/data/xpkgs/acme.gadget/2.1.0/src
cat > .mcpp/.xlings/data/xpkgs/acme.gadget/2.1.0/src/gadget.cppm <<'EOF'
export module gadget;

export int gadget_value() {
    return 42;
}
EOF

mkdir -p src
cat > src/main.cpp <<'EOF'
import gadget;

int main() {
    return gadget_value() == 42 ? 0 : 1;
}
EOF

cat > mcpp.toml <<'EOF'
[package]
name    = "proj"
version = "0.1.0"

[indices]
acme = { path = "local-index" }

[dependencies.acme]
gadget = "^2.0"

[targets.proj]
kind = "bin"
main = "src/main.cpp"
EOF

"$MCPP" build > build.log 2>&1 || {
    cat build.log
    echo "FAIL: SemVer constraint did not resolve against the project [indices] entry"
    exit 1
}

# The constraint must have been pinned to the newest matching version, not
# merely tolerated.
grep -q '→ v2.1.0' build.log || {
    cat build.log
    echo "FAIL: expected '^2.0' to resolve to v2.1.0"
    exit 1
}
grep -q 'index update' build.log && {
    cat build.log
    echo "FAIL: a local path index must never be answered with 'mcpp index update'"
    exit 1
}
grep -q '\[package\."acme.gadget"\]' mcpp.lock || {
    cat mcpp.lock 2>/dev/null || true
    echo "FAIL: expected acme.gadget lock entry"
    exit 1
}
# Only 2.1.0 is seeded above, so a build that got here at all consumed the
# resolved version rather than falling back to the constraint's lower bound.
# (The lockfile records the CONSTRAINT, not the pin — pre-existing behaviour
# shared with registry deps, not something this test is asserting about.)

"$MCPP" run > run.log 2>&1 || { cat run.log; echo "FAIL: run failed"; exit 1; }

# ── The exact-version form keeps working through the same route ─────────
mkdir -p .mcpp/.xlings/data/xpkgs/acme.gadget/2.0.0/src
cp .mcpp/.xlings/data/xpkgs/acme.gadget/2.1.0/src/gadget.cppm \
   .mcpp/.xlings/data/xpkgs/acme.gadget/2.0.0/src/gadget.cppm
sed -i.bak 's/^gadget = "\^2\.0"$/gadget = "2.0.0"/' mcpp.toml && rm -f mcpp.toml.bak
grep -qE '^gadget = "2\.0\.0"$' mcpp.toml || { cat mcpp.toml; echo "FAIL: rewrite to exact version did not apply"; exit 1; }
rm -f mcpp.lock
"$MCPP" build > build2.log 2>&1 || {
    cat build2.log
    echo "FAIL: exact version through a project [indices] entry regressed"
    exit 1
}
grep -q '2\.0\.0' mcpp.lock || { cat mcpp.lock; echo "FAIL: expected 2.0.0 pin"; exit 1; }

echo "OK"