You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardexpand all lines: README
+16-1
Original file line number
Diff line number
Diff line change
@@ -91,13 +91,28 @@ will install all executables and libraries under the prefix directory given thro
91
91
$> sudo make install
92
92
93
93
NOTE TO DEVELOPERS:
94
-
For simex_platform developers, it is recommended to install the platform
94
+
a) For simex_platform developers, it is recommended to install the platform
95
95
directly into the source tree, e.g. give the top level directory to the DCMAKE_INSTALL_PREFIX directive, e.g.
96
96
$> cmake -DCMAKE_INSTALL_PREFIX=.. ..
97
97
supposing the build directory is located in the top level source directory.
98
98
99
99
In this way, you will be able to run the unittests without having to recompile.
100
100
101
+
b) There is an option to create debian package which can then be installed along with all necessary dependencies via
102
+
103
+
$>dpkg -i <package_name>
104
+
$>apt-get install -f
105
+
106
+
on another computer with Debian based OS. In this case Simex will be installed in /usr/... , Tests are installed in /usr/share/simex/.... and should be system-wide available. Calling dpkg with --instdir option allows to change installation dir. In this case simex_vars.sh should be modified manually to set paths correctly.
107
+
108
+
To create the package call
109
+
110
+
$> cmake -DPACKAGE_MAKE=ON -DCMAKE_INSTALL_PREFIX=/usr <PATH TO SOURCE>
111
+
$> make package
112
+
113
+
(probably you will have to call cmake two times because for some unknown reason CMake creates .tgz archives in the first time).
0 commit comments