Provide a way to build GPL delivery, without access to the ise.svn repository.

This commit is contained in:
2018-12-12 13:46:08 +01:00
parent c62b514867
commit 3e37a7b72e
4 changed files with 17 additions and 7 deletions
+3 -3
View File
@@ -320,10 +320,10 @@ iff not defined NO_COMPILE then
iff not defined NO_ENTERPRISE_BUILD then
remtrace ISE specific files
cdd %EIFFEL_SRC
co %DEFAULT_ISE_SVN/Src/library/keygen library/keygen
co %DEFAULT_ISE_SVN%/Src/library/keygen library/keygen
cd tools
co %DEFAULT_ISE_SVN/Src/tools/activation activation
co %DEFAULT_ISE_SVN/Src/tools/estudio_enterprise estudio_enterprise
co %DEFAULT_ISE_SVN%/Src/tools/activation activation
co %DEFAULT_ISE_SVN%/Src/tools/estudio_enterprise estudio_enterprise
endiff
remtrace Build the normal libraries