Skip to content

concretize.lp: fix target_not_supported warning#51171

Merged
alalazo merged 1 commit intodevelopfrom
hs/fix/clingo-warning
Aug 18, 2025
Merged

concretize.lp: fix target_not_supported warning#51171
alalazo merged 1 commit intodevelopfrom
hs/fix/clingo-warning

Conversation

@haampie
Copy link
Copy Markdown
Member

@haampie haampie commented Aug 18, 2025

Silence the following warning:

concretize.lp:1687:6-53: info: atom does not occur in any rule head:
  target_not_supported(Compiler,Version,Target)

caused by a missing #defined atom/n. statement.

@haampie haampie force-pushed the hs/fix/clingo-warning branch from a626182 to 9baca13 Compare August 18, 2025 08:11
alalazo
alalazo previously approved these changes Aug 18, 2025
@alalazo alalazo self-assigned this Aug 18, 2025
@alalazo alalazo enabled auto-merge (squash) August 18, 2025 08:19
@haampie haampie changed the title concretize.lp: fix target_not_supported warnings concretize.lp: fix target_not_supported warnings and fix outdated/redundant #defined atom/n. statements Aug 18, 2025
@haampie haampie force-pushed the hs/fix/clingo-warning branch from 5db3cf5 to 21611b0 Compare August 18, 2025 08:46
@haampie haampie changed the title concretize.lp: fix target_not_supported warnings and fix outdated/redundant #defined atom/n. statements concretize.lp: fix target_not_supported warning Aug 18, 2025
@alalazo alalazo disabled auto-merge August 18, 2025 08:48
@alalazo alalazo merged commit 9c9371e into develop Aug 18, 2025
7 of 8 checks passed
@alalazo alalazo deleted the hs/fix/clingo-warning branch August 18, 2025 08:49
@alalazo alalazo added the hotfix label Aug 18, 2025
climbfuji pushed a commit to climbfuji/spack that referenced this pull request Aug 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants