Cannot build K with maven on my Scientific Linux Machine

[traiansf]

I'm trying to build K on my Scientific Linux VM and I get the following error:

[ERROR]   The project org.kframework.k:java-backend:3.5-SNAPSHOT (/home/traian/Documents/k/java-backend/pom.xml) has 1 error
[ERROR]     'dependencies.dependency.artifactId' for com.microsoft.z3:${native.library.prefix}z3java:${native.library.type}:${native.classifier} with value '${native.library.prefix}z3java' does not match a valid id pattern. @ org.kframework.k:java-backend:[unknown-version], /home/traian/Documents/k/java-backend/pom.xml, line 47, column 19

I get the same error when running

mvn help:active-profiles

[andreiarusoaie]

I have the same issue on Windows:

> mvn package
[INFO] Scanning for projects...
[ERROR] The build could not read 1 project -> [Help 1]
[ERROR]
[ERROR]   The project org.kframework.k:java-backend:3.5-SNAPSHOT (C:\Users\Andrei\Documents\GitHub\k\java-backend\pom.xml) has 1 error
[ERROR]     'dependencies.dependency.artifactId' for com.microsoft.z3:${native.library.prefix}z3java:${native.library.type}:${native.classifier} with value '${native.library.prefix}z3java' does not match a valid id pattern. @ org.kframework.k:java-backend:[unknown-version], C:\Users\Andrei\Documents\GitHub\k\java-backend\pom.xml, line 47, column 19
[ERROR]
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/ProjectBuildingException

[grosu]

Dwight, please take care of this immediately. Top priority.

@pdaian Could this be because of the move of Jenkins to the new office? It should not, because Traian also had the same problem before the move.

Grigore

---

From: Andrei Arusoaie [notifications@github.com] Sent: Monday, October 06, 2014 3:42 AM To: kframework/k Subject: Re: [k] Cannot build K with maven on my Scientific Linux Machine (#1035)

I have the same issue on Windows:

mvn package [INFO] Scanning for projects... [ERROR] The build could not read 1 project -> [Help 1] [ERROR] [ERROR] The project org.kframework.k:java-backend:3.5-SNAPSHOT (C:\Users\Andrei\Documents\GitHub\k\java-backend\pom.xml) has 1 error [ERROR] 'dependencies.dependency.artifactId' for com.microsoft.z3:${native.library.prefix}z3java:${native.library.type}:${native.classifier} with value '${native.library.prefix}z3java' does not match a valid id pattern. @ org.kframework.k:java-backend:[unknown-version], C:\Users\Andrei\Documents\GitHub\k\java-backend\pom.xml, line 47, column 19 [ERROR] [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch. [ERROR] Re-run Maven using the -X switch to enable full debug logging. [ERROR] [ERROR] For more information about the errors and possible solutions, please read the following articles: [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/ProjectBuildingException

— Reply to this email directly or view it on GitHubhttps://github.com/kframework/k/issues/1035#issuecomment-57988824.

[dwightguth]

I can take care of this as soon as they each report the output of mvn version. I'm sorry about this regression, I'm pretty sure I know what caused it, I just thought I had tested it enough. On Oct 6, 2014 6:07 AM, "Grigore Rosu" notifications@github.com wrote:

Dwight, please take care of this immediately. Top priority.

@pdaian Could this be because of the move of Jenkins to the new office? It should not, because Traian also had the same problem before the move.

Grigore

---

From: Andrei Arusoaie [notifications@github.com] Sent: Monday, October 06, 2014 3:42 AM To: kframework/k Subject: Re: [k] Cannot build K with maven on my Scientific Linux Machine (#1035)

I have the same issue on Windows:

mvn package [INFO] Scanning for projects... [ERROR] The build could not read 1 project -> [Help 1] [ERROR] [ERROR] The project org.kframework.k:java-backend:3.5-SNAPSHOT (C:\Users\Andrei\Documents\GitHub\k\java-backend\pom.xml) has 1 error [ERROR] 'dependencies.dependency.artifactId' for com.microsoft.z3:${native.library.prefix}z3java:${native.library.type}:${native.classifier} with value '${native.library.prefix}z3java' does not match a valid id pattern. @ org.kframework.k:java-backend:[unknown-version], C:\Users\Andrei\Documents\GitHub\k\java-backend\pom.xml, line 47, column 19 [ERROR] [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch. [ERROR] Re-run Maven using the -X switch to enable full debug logging. [ERROR] [ERROR] For more information about the errors and possible solutions, please read the following articles: [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/ProjectBuildingException

— Reply to this email directly or view it on GitHub< https://github.com/kframework/k/issues/1035#issuecomment-57988824>.

— Reply to this email directly or view it on GitHub https://github.com/kframework/k/issues/1035#issuecomment-58002531.

[dwightguth]

@traiansf please assign to @k-oncall if this is still happening.