From 40e936d5635312c766a1f7300dfd84cad6c3bc78 Mon Sep 17 00:00:00 2001 From: dehnert Date: Wed, 18 Jan 2017 15:49:51 +0100 Subject: [PATCH] removed old readme --- README | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 README diff --git a/README b/README deleted file mode 100644 index bef720bdf..000000000 --- a/README +++ /dev/null @@ -1,24 +0,0 @@ -# Create build directory for storm -mkdir build - -# Go to build directory -cd build - -# Configure the project -cmake .. -# If you want an interactive configuration, try "ccmake ..". Then you can press "c" to initially configure the project, change your values and then press "g" to generate the Makefile - -# After generating the Makefile you can build the resources we need for the project -make resources - -# Now we build the main project for DFTs -make storm-dft-main - -# Last you can run an example -./src/storm-dft -dft ../examples/dft/and.dft -mttf - -# To get a list of all available arguments run -./src/storm-dft --help - -# Example for DFT to Petri net translation -./src/storm-dft -dft ../examples/dft/and.dft --gspn