Skip to content

Inet-master project doesn't link with z3 #24

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
adamgeorge309 opened this issue Sep 27, 2024 · 1 comment
Closed

Inet-master project doesn't link with z3 #24

adamgeorge309 opened this issue Sep 27, 2024 · 1 comment
Assignees
@rhornig
Labels
bug Something isn't working

Comments

@adamgeorge309
Copy link
Contributor

The z3 feature is enabled by default, but z3 is missing from linked libs
@adamgeorge309 adamgeorge309 added the bug Something isn't working label Sep 27, 2024
@rhornig
Copy link
Contributor

rhornig commented Sep 27, 2024

INET master uses pkg-config --libs z3 in makefrag which does NOT work on NIX. After installing z3, pkg-config still does not know about it.

If pkg-config --libs z3 returns empty, we should assume that the default link flag is -lz3

adamgeorge309 added a commit to inet-framework/inet that referenced this issue Sep 27, 2024
@adamgeorge309
build: added default linker flag in case pkg-config doesn't have z3 i…
06a0ffe 
…n its database, such as in NIX; fixes opp_env issue #24 (omnetpp/opp_env#24)
adamgeorge309 added a commit to inet-framework/inet that referenced this issue Sep 27, 2024
@adamgeorge309
build: added default linker flag in case pkg-config doesn't have z3 i…
374c448 
…n its database, such as in NIX; fixes opp_env issue #24 (omnetpp/opp_env#24)
adamgeorge309 added a commit to inet-framework/inet that referenced this issue Sep 27, 2024
@adamgeorge309
build: added default linker flag in case pkg-config doesn't have z3 i…
84a5a2e 
…n its database, such as in NIX; fixes opp_env issue #24 (omnetpp/opp_env#24)
adamgeorge309 added a commit to inet-framework/inet that referenced this issue Sep 30, 2024
@adamgeorge309
build: added default linker flag in case pkg-config doesn't have z3 i…
6723bbf 
…n its database, such as in NIX; fixes opp_env issue #24 (omnetpp/opp_env#24)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rhornig rhornig

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@rhornig @adamgeorge309