Build failure with message "Could not get unknown property 'gpr.user' for root project 'mbeddr.formal'"

[ahmedwaqar]

I clone the repo and started to build by executing ./gradlew at the terminal and the build fails with the following message:

Configure project :
Local build detected, version will be SNAPSHOT

FAILURE: Build failed with an exception.

• Where:
  Build file '<Local_PATH_omitted>/mbeddr.formal/build.gradle.kts' line: 128

• What went wrong:
  Could not get unknown property 'gpr.user' for root project 'mbeddr.formal' of type org.gradle.api.Project.

• Try:

Run with --stacktrace option to get the stack trace.
Run with --info or --debug option to get more log output.
Run with --scan to get full insights.

• Get more help at https://help.gradle.org

BUILD FAILED in 328ms_

[ratiud]

you need to configure gradle.properties as described in the readme.md - https://github.com/mbeddr/mbeddr.formal/blob/master/README.md

you also need to set in gradle.properties the following two variables (defined also in gradle.properties.example)

github_username=
github_token=

[ahmedwaqar]

The build fails with the same error message after specifying the GitHub credentials. Is there a way I can debug the build file.

[danielratiu]

please try in gradle.properties (instead of github_username and github_token) gpr.user= gpr.token=

…

On Thu, Apr 27, 2023 at 4:38 PM Waqar Ahmed ***@***.***> wrote: The build fails with the same error message after specifying the GitHub credentials. Is there a way I can debug the build file. — Reply to this email directly, view it on GitHub <#72 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAK63VKO7YZTL6K5F3AG5N3XDKAHDANCNFSM6AAAAAAXM7ZOUU> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[ahmedwaqar]

Thanks. Now I got the following error:

Starting a Gradle Daemon, 1 incompatible Daemon could not be reused, use --status for details

Configure project :
Local build detected, version will be SNAPSHOT

Task :build_allScripts FAILED
Buildfile: /home/waqar/Documents/misc/tools/mbeddr.formal/build/scripts/build_all_scripts.xml
Trying to override old definition of datatype module

BUILD FAILED
/home/waqar/Documents/misc/tools/mbeddr.formal/build/scripts/build_all_scripts.xml:48: Problem: failed to create task or type generator-settings
Cause: The name is undefined.
Action: Check the spelling.
Action: Check that any custom tasks/types have been declared.
Action: Check that any / declarations have taken place.

Total time: 0 seconds

FAILURE: Build failed with an exception.

• What went wrong:
  Execution failed for task ':build_allScripts'.

Process 'command '/usr/lib/jvm/jdk-11/bin/java'' finished with non-zero exit value 1

• Try:

Run with --stacktrace option to get the stack trace.
Run with --info or --debug option to get more log output.
Run with --scan to get full insights.

• Get more help at https://help.gradle.org

BUILD FAILED in 4s
5 actionable tasks: 3 executed, 2 up-to-date

[danielratiu]

please double check that you set the variables mpsHomeDir=C:/XYZ/MPS_2021_3_2 mbeddr.formal.home=C:/XYZ/mbeddr.formal.migration

…

On Thu, Apr 27, 2023 at 9:04 PM Waqar Ahmed ***@***.***> wrote: Thanks. Now I got the following error: Starting a Gradle Daemon, 1 incompatible Daemon could not be reused, use --status for details Configure project : Local build detected, version will be SNAPSHOT Task :build_allScripts FAILED Buildfile: /home/waqar/Documents/misc/tools/mbeddr.formal/build/scripts/build_all_scripts.xml Trying to override old definition of datatype module BUILD FAILED /home/waqar/Documents/misc/tools/mbeddr.formal/build/scripts/build_all_scripts.xml:48: Problem: failed to create task or type generator-settings Cause: The name is undefined. Action: Check the spelling. Action: Check that any custom tasks/types have been declared. Action: Check that any / declarations have taken place. Total time: 0 seconds FAILURE: Build failed with an exception. - What went wrong: Execution failed for task ':build_allScripts'. Process 'command '/usr/lib/jvm/jdk-11/bin/java'' finished with non-zero exit value 1 - Try: Run with --stacktrace option to get the stack trace. Run with --info or --debug option to get more log output. Run with --scan to get full insights. - Get more help at https://help.gradle.org BUILD FAILED in 4s 5 actionable tasks: 3 executed, 2 up-to-date — Reply to this email directly, view it on GitHub <#72 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAK63VNM3EHC5DT6653Z2FDXDK7MDANCNFSM6AAAAAAXM7ZOUU> . You are receiving this because you commented.Message ID: <mbeddr/mbeddr. ***@***.***>

[ahmedwaqar]

Thanks. I was using MPS_2021.2 as instructed in the README. However, when I changed to MPS_2021_3_2 the build is successful. After that, I followed the instruction with MPS and set the path variable mbeddr.formal.home to the cloned repo. When building the com.mpsbasic, I got the following error:

Java library jar should be extracted into build script: ${mpsbasics.code}/solutions/com.mpsbasics.docx4j.lib/lib/checker-qual-2.8.1.jar
-- -- was input node: [modules] BuildMps_Solution "com.mpsbasics.docx4j.lib"[4653181259421558709] in com.mpsbasics.build.build@0
-- was template node: r:54537613-52b5-40a8-b223-e87f0960b04f(jetbrains.mps.build.mps.generator.template.main@generator)/3189788309732145594
Java library jar should be extracted into build script: ${mpsbasics.code}/solutions/com.mpsbasics.docx4j.lib/lib/commons-compress-1.21.jar

[danielratiu]

appologies, I fixed the MPS version in the readme After the gradle build is successful, you are done. You can open the safety project, the tutorial, and browse the models

…

On Fri, Apr 28, 2023 at 4:27 AM Waqar Ahmed ***@***.***> wrote: I was using MPS_2021.2 as instructed in the README. However, when I changed to MPS_2021_3_2 the build is successful. After that, I followed the instruction with MPS and set the path variable mbeddr.formal.home to the cloned repo. When building the com.mpsbasic, I got the following error: Java library jar should be extracted into build script: ${mpsbasics.code}/solutions/com.mpsbasics.docx4j.lib/lib/checker-qual-2.8.1.jar -- -- was input node: [modules] BuildMps_Solution "com.mpsbasics.docx4j.lib"[4653181259421558709] in ***@***.*** -- was template node: ***@***.***)/3189788309732145594 Java library jar should be extracted into build script: ${mpsbasics.code}/solutions/com.mpsbasics.docx4j.lib/lib/commons-compress-1.21.jar — Reply to this email directly, view it on GitHub <#72 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAK63VIMLT6F2JK3UPYSQF3XDMTHNANCNFSM6AAAAAAXM7ZOUU> . You are receiving this because you commented.Message ID: <mbeddr/mbeddr. ***@***.***>

[ahmedwaqar]

Okay. I can open the tutorial project and browse through the code. However, I couldn't get the same FASTEN environment and features as in First steps and the integration of NuSMV when starting MPS.

Is this environment only available for Windows? It appears that I may have to switch to Windows to get going with FASTEN.

[danielratiu]

There are three tutorial projects - 1) tutorial - mostly the DSLs stack on NuSMV 2) tutorial-mdcc - the model-driven-code-checking demo 3) tutorial-safety - the safety assurance DSLs FASTEN integrates external model checking tools - in "rcp_resources\external_tools" are the binaries (windows + linux) - you just put them in PATH and calling nusmv should work + if you use the RCP (binary distribution of FASTEN they should work right-away)

…

On Fri, Apr 28, 2023 at 3:15 PM Waqar Ahmed ***@***.***> wrote: Okay. I can open the tutorial project and browse through the code. However, I couldn't get the same FASTEN environment and features as in First steps and the integration of NuSMV <http://youtube.com/watch?v=bOm-WyQJV_E> when starting MPS. Is this environment only available for Windows? It appears that I may have to switch to Windows to get going with FASTEN. — Reply to this email directly, view it on GitHub <#72 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAK63VM6FAP3U4QACVHKPR3XDO7GHANCNFSM6AAAAAAXM7ZOUU> . You are receiving this because you commented.Message ID: <mbeddr/mbeddr. ***@***.***>