From 6e4a6dd3da1acb4dcda72cc73a3dedd1ba00670c Mon Sep 17 00:00:00 2001 From: Edward Sabinus <edward.sabinus@informatik.uni-halle.de> Date: Wed, 24 Apr 2024 14:56:57 +0000 Subject: [PATCH] Update file README.md --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 060633c..50e5c1e 100644 --- a/README.md +++ b/README.md @@ -6,8 +6,8 @@ Automatische Bewertung von struktureller Induktion auf abstrakten Datentypen Das Programm kann mit .NET oder mit Mono kompiliert werden. ### Komplilieren mit .NET .NET kann auf jedem Betriebssystem installiert werden. Die kompilierte ausführbare Datei funktioniert Plattformunabhängig, solange die entsprechende .NET-Version installiert ist. -1. Installieren Sie [.NET](https://dotnet.microsoft.com/en-us/download/dotnet) Version 6.0 oder höher. -2. Navigieren Sie mit der Konsole in den Ordner der [.csproj](BaumtransformationBewerter/BaumtransformationBewerter.csproj)-Datei +1. Installieren Sie [.NET](https://dotnet.microsoft.com/en-us/download/dotnet) Version 5.0 oder höher. +2. Navigieren Sie mit der Konsole in den Ordner der [.csproj](BewerterStrukturellerInduktion/BewerterStrukturellerInduktion.csproj)-Datei 3. Rufen Sie `dotnet build` auf. Der Kompiler findet automatisch die .csproj-Datei und kompiliert das Projekt entsprechend dieser Konfiguration. ### Kompilieren mit Mono Wenn Sie das Projekt mit Mono kompilieren möchten, gibt es [eine Diskussion @@ -19,9 +19,9 @@ verwendet werden können, um Visual Studio Projekte mit Mono zu kompilieren. ### Zwei Programmeinstiegsmöglichkeiten Es gibt zwei Programmeinstiegsmöglichkeiten für das Programm: -1. [ProgramForHuman](BaumtransformationBewerter/ProgramForHuman.cs) ist die Version des Programms, dessen Benutzerschnittstelle für die menschliche Verwendung optimiert ist. Wenn Sie diese Version kompilieren möchten, ersetzen Sie vor dem Kompilieren in der .csproj-Datei alle Vorkommen von "Yapex" durch "Human". +1. [ProgramForHuman](BewerterStrukturellerInduktion/ProgramForHuman.cs) ist die Version des Programms, dessen Benutzerschnittstelle für die menschliche Verwendung optimiert ist. Wenn Sie diese Version kompilieren möchten, ersetzen Sie vor dem Kompilieren in der .csproj-Datei alle Vorkommen von "Yapex" durch "Human". -2. [ProgramForYapex](BaumtransformationBewerter/ProgramForYapex.cs) ist die Version des Programms, die eine optimale Schnittstelle für Yapex implementiert. +2. [ProgramForYapex](BewerterStrukturellerInduktion/ProgramForYapex.cs) ist die Version des Programms, die eine optimale Schnittstelle für Yapex implementiert. ## Verwendung des Programms Bevor Sie das Programm verwenden, stellen Sie sicher für welche Version Sie das Programm kompiliert haben. -- GitLab