g
command:
$ gcc -L path-to-klee-root/Release+Asserts/lib/ get_sign.c -lkleeRuntest
The -l option links against the library in question, hence it is meant
to be used as a shared library.
Which brings us back to the original question - how to add the SONAME
attribute to the library?
--
Regards,
this system and I cannot install it.
Are you referring to STP? It is a dependency I've been packaging as
well. A Jessie binary version is available at:
https://dimjasevic.net/marko/klee/stp_2.1.1+dfsg-1_amd64.deb
It's pretty much the same version of what I've been hoping someone w
a look and help with
resolving it.
[1] https://lists.debian.org/debian-mentors/2016/01/msg00542.html
--
Kind regards,
Marko Dimjašević . University of Utah
https://dimjasevic.net/marko . PGP key ID: 1503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org
signat
On Tue, 29 Apr 2014 11:52:14 +
Patrick Schleizer wrote:
> Marko Randjelovic:
> > I was thinking about some kind
> > of wizard:
> >
> > - create a chroot if doesn't already exist
> > - create a launcher for your DE
> > - create a shell script t
On Tue, 29 Apr 2014 11:35:26 +0800
Paul Wise wrote:
> On Tue, Apr 29, 2014 at 8:07 AM, Marko Randjelovic wrote:
>
> > - security patches should be clearly marked as such in every *.patch
> > file
>
> That sounds like a good idea, could you add it to the wiki page?
On Thu, 24 Apr 2014 10:57:39 +0800
Paul Wise wrote:
> Hi all,
>
> I have written a non-exhaustive list of goals for hardening the Debian
> distribution, the Debian project and computer systems of the Debian
> project, contributors and users.
>
> https://wiki.debian.org/Hardening/Goals
>
> If y
On Fri, 4 Apr 2014 10:55:16 -0300
Undefined User wrote:
> Perfect solution.
>
> Debian installer should provide you information about desktop environments
> and let the user choose it.
+1
--
http://markorandjelovic.hopto.org
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
On Wed, 5 Feb 2014 22:31:09 +0100
Petter Reinholdtsen wrote:
> A few months ago I drafted an idea to rewrite init.d scripts to use a
> common implementation and only specify the unique parts in the init.d
> scripts themselves. That draft can be found on
> http://people.skolelinux.org/pere/blog/
On Sat, 1 Feb 2014 19:11:52 -0500 (EST)
Thilos Rich wrote:
> Init should be simple, secure, and get out of the way. It should not take
> over the system. We should not be forced to use an init that does.
>
> This man said it best:
> wizardofbits.tumblr.com/post/45232318557/systemd-more-like-shi
On Tue, 26 Nov 2013 18:42:43 +0800
Thomas Goirand wrote:
> With the above, it's easy to switch from one to the other. Well, that is
> before the mess with the version-depends on sysv-rc introduced by the
> debhelper thing for upstart, which messed-up a few things... I hope many
> packages have be
Additional arguments in favor of sysvinit:
* systemd and upstart lead to vendor lock-in; it will be complicated
later to return back or change to third option, as well to change from
first to second option
* I don't have a feeling that configuration can be very simpler than
shell scripts; there a
On Mon, 04 Nov 2013 10:44:23 -0600
Conrad Nelson wrote:
> Not everyone is a programmer, but a lot of non-programmers are still
> admins but are not interested in working with shell scripts if they
> don't have to.
We already have: skeleton, /etc/default. I agree it's poor, but
as I said, and
On Wed, 06 Nov 2013 14:04:53 +0100
Adrien CLERC wrote:
> >>> And SysVInit just works well and it is simply enough. It has much less
> >>> dependencies than systemd. Do not make unneeded weight on people to learn
> >>> systemd in addition to shell scripts, if systemd is powerful that also
> >>>
On Tue, 5 Nov 2013 18:00:09 -0500
Paul Tagliamonte wrote:
> What? Sorry, what? Are you disagreeing with yourself? If it's so
> important to a UNIX system, why do you say it's not technical ...
I said it's not *only* technical.
> > Big companies all over and over again show they care much more
On Sat, 26 Oct 2013 11:07:36 +0200
Lucas Nussbaum wrote:
> I think that it would be a failure of the Debian project if we had to have a
> GR
> about such a technical decision. I think that we need to trust that the
> Technical Committee will make the right decision. A GR about this will likely
>
On Sun, 3 Nov 2013 12:32:40 +0100
Bastian Blank wrote:
> On Sun, Nov 03, 2013 at 11:15:36AM +0100, Marko Randjelovic wrote:
> > Just to say we should not expect to much from DNSSEC because DNSSEC is
> > centralized:
>
> Could you explain the problems you see a bit more
Just to say we should not expect to much from DNSSEC because DNSSEC is
centralized:
https://gnunet.org/uva2013
--
http://mr.flossdaily.org
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive:
On Fri, 25 Oct 2013 15:52:38 +0200
Adam Borowski wrote:
> xz has slow compression, fast decompression. You're not really going to
> build packages on any box where compression speed is a blocker, and even if
> you do, actually building the package will take a wolf share of the time.
>
> On the
On Wed, 16 Oct 2013 19:49:54 +0200
Dominik George wrote:
> Hi,
>
> > The only problem is that on small machines (things like the BeagleBone)
> > xz compression requires enough memory that you have to enable swap to
> > use dpkg. Now on a machine with a sensible disk this is not a problem,
> >
Package: general
Version: 20031213
Severity: critical
After running apt-get upgrade, here is what happens:
Setting up postgresql (7.2.1-2woody4) ...
Restarting PostgreSQL database: postmaster
No /usr/lib/postgresql/bin/postmaster found running;
amp;eula=&choice=agree&cmdNext=Next
Yours,
~ Marko
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.2.1 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQE+2jafrews0RqVN+cRAij3AJwI1sdZwKKPr0ln8VU+9dbEPsXtYgCfZjv6
Lpu6rvVn2VHfrOZ6K2x62aY=
=G0Ai
-END PGP SIGNATURE-
21 matches
Mail list logo
