Logo

bugs

data structures and software dependability

computer science department

brandenburg university of technology cottbus - senftenberg

Summary: Setting permissions at setup fails
Created: 2011-09-09 14:50
Status: Resolved
Category: Bug
From: Profiles?
Assigned:
Priority: 3
Program: Charlie
Version:
Description:
There are some warnings during the setup that some permissions could not be set.

Sep 9, 2011 2:50:34 PM GUI.setup.SetupApp makeExecutable WARNING: setExecutable on : /tmp/charlie/modelchecker/linux32/bin/iddmc did not succeed, check permissions manually!
Sep 9, 2011 2:50:34 PM GUI.setup.SetupApp makeExecutable WARNING: setExecutable on : /tmp/charlie/modelchecker/linux32/bin/zbddmc did not succeed, check permissions manually!
Sep 9, 2011 2:50:34 PM GUI.setup.SetupApp makeExecutable WARNING: setExecutable on : /tmp/charlie/modelchecker/linux64/bin/iddmc did not succeed, check permissions manually!
Sep 9, 2011 2:50:34 PM GUI.setup.SetupApp makeExecutable WARNING: setExecutable on : /tmp/charlie/modelchecker/linux64/bin/zbddmc did not succeed, check permissions manually!
Sep 9, 2011 2:50:34 PM GUI.setup.SetupApp makeExecutable WARNING: setExecutable on : /tmp/charlie/modelchecker/mac/bin/iddmc did not succeed, check permissions manually!
Sep 9, 2011 2:50:34 PM GUI.setup.SetupApp makeExecutable WARNING: setExecutable on : /tmp/charlie/modelchecker/mac/bin/zbddmc did not succeed, check permissions manually!

Comments

The executables have been removed. The setup process has to be adjusted.

<< 00053 | SnoopyBugList | 00055 >>

… the end …

Any comments or questions are welcome. Please direct them to monika [period] heiner [snail] b-tu [period] de Privacy Policy