Timeline for Problem installing Z3 in ubuntu 16.04
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 28, 2020 at 14:20 | comment | added | mahdieh hejazi | @ParsaMousavi I asked my questions several times in the stackoverflow and askUbuntu, and you were the only one who answered me. | |
| Jul 28, 2020 at 14:17 | comment | added | mahdieh hejazi | @ParsaMousavi I installed Wine and used it to install .NETFramework v4.5.2 Developer Pack. The same error was displayed again. | |
| Jul 28, 2020 at 14:12 | comment | added | mahdieh hejazi |
@ParsaMousavi Mr. Mousavi, Sorry again, I used the command you said and the following error was displayed: /usr/share/dotnet/sdk/3.1.302/Microsoft.Common.CurrentVersion.targets(1177,5): error MSB3644: The reference assemblies for .NETFramework,Version=v4.5.2 were not found. To resolve this, install the Developer Pack (SDK/Targeting Pack) for this framework version or retarget your application. You can download .NET Framework Developer Packs at https://aka.ms/msbuild/developerpacks [/home/madieh/Spire-master/Spire/Spire.csproj]
|
|
| Jul 28, 2020 at 11:31 | comment | added | Parsa Mousavi |
No problem.If you just want to run a project from github,just go the source directory(the directory which contains the .csproj file) and then run dotnet build ; dotnet run.It would install all the required packages automatically for you and then launches the program.I thought you wanted to install Z3 to use with your own project and also you didn't mention in the question you want to run the project Spire.Although your problem here is entirely a different question than of the original one.But hope it helps.
|
|
| Jul 28, 2020 at 10:19 | comment | added | mahdieh hejazi |
@ParsaMousavi Mr. Mousavi, I really apologize for bothering you. If I were not so helpless, I would not bother you. There is a project in GitHub and I have to run it (that is, the code is not for me). I did what you said and the following error was shown: rror: Error while adding package 'Microsoft.Z3.x64' to project '/home/madieh/Spire-master/Spire/Spire.csproj'. The project does not support adding package references through the add package command. Thank you very much if you can help me
|
|
| Jul 28, 2020 at 8:07 | comment | added | Parsa Mousavi |
You have to run that command inside your project directory(or add your .csproj file as the second argument to dotnet add i.e dotnet add /path/to/yourproject.csproj package Microsoft.Z3.x64 --version 4.8.8) and the required .dll file plus required runtimes(for MacOS , Linux and Windows) will be added by default to the ~/.nuget/packages directory.Then whenever you add that dependency to your projects,given the same version of Z3,it won't need to be re-downloaded.Packages in the ~/.nuget/packages is somehow global(Not to be confused with GAC)
|
|
| Jul 28, 2020 at 5:14 | comment | added | mahdieh hejazi | @ParsaMousavi This is an author comment on GitHub, but I do not understand it correctly. (The mentions of GAC/CSC seems stale. It now builds a nuget package, also present in the nighly builds and published on nuget.org. You should use the nuget utilities to install. I have removed stale mentions of CSC and GAC in the readme.) I am very new in Ubuntu. | |
| Jul 28, 2020 at 5:10 | comment | added | mahdieh hejazi |
@ParsaMousavi Mr Mousavi, You are right. I asked the author at GitHub and he gave the same answer. But when I type this command in the terminal, it gives this error. Could not find any project in `/home/madieh/`. ``` dotnet add <PROJECT> package [options] <PACKAGE_NAME>``` Can you help me?
|
|
| Jul 25, 2020 at 18:19 | comment | added | Parsa Mousavi |
Why don't you install it from the nuget repository? Try dotnet add package Microsoft.Z3.x64 --version 4.8.8.
|
|
| Jul 25, 2020 at 18:18 | history | edited | Parsa Mousavi | CC BY-SA 4.0 |
Some minor improvements
|
| Jul 25, 2020 at 17:16 | history | edited | mahdieh hejazi | CC BY-SA 4.0 |
added 16 characters in body
|
| Jul 25, 2020 at 17:00 | history | asked | mahdieh hejazi | CC BY-SA 4.0 |