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 https://github.com/mbeddr/mbeddr.formal/issues/72#issuecomment-1525816913, 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 https://github.com/mbeddr/mbeddr.formal/issues/72#issuecomment-1526193706, 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 https://github.com/mbeddr/mbeddr.formal/issues/72#issuecomment-1526889927, 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 https://github.com/mbeddr/mbeddr.formal/issues/72#issuecomment-1527548176, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAK63VM6FAP3U4QACVHKPR3XDO7GHANCNFSM6AAAAAAXM7ZOUU . You are receiving this because you commented.Message ID: <mbeddr/mbeddr. @.***>