<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<p style="color: #777777;">
<a href="https://gitlab.com/ametzler">Andreas Metzler</a>
started a new discussion:
</p>
<div style="">
<p dir="auto">Daiki Ueno <a href="https://gitlab.com/dueno" data-user="470892" data-reference-type="user" data-container="body" data-placement="bottom" class="gfm gfm-project_member" title="Daiki Ueno">@dueno</a> commented 2 weeks ago</p>
<blockquote dir="auto">
<p>I guess such situation could be effectively avoided if:</p>
<pre class="code highlight js-syntax-highlight plaintext" lang="plaintext" v-pre="true"><code><span id="LC1" class="line" lang="plaintext">we check the installed libopts version and</span>
<span id="LC2" class="line" lang="plaintext">fallback to use the bundled libopts if the system libopts is older</span></code></pre>
<p>Still, the user might want to link against the (older) system libopts. In that case, however, I think he wouldn't mind removing .stamp manually.</p>
</blockquote>
<p dir="auto">Sorry for following up late.
Did you check whether this test (system libopts >= tarball libopts) is sufficient? Or is it documented that files autogened by autogen X can safely be used with libopts X, X+1, etc?</p>
<p dir="auto">I am not completely sure but I think only these two scenarios are safe:
a) use prebuilt autogened files to link statically against tarball included libopts tearoff
b) Use locally installed autogen to regenerate everything and link against locally installed libopts</p>
</div>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #777777;">
—
<br>
Reply to this email directly or <a href="https://gitlab.com/gnutls/gnutls/merge_requests/808#note_124782407">view it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.com.
If you'd like to receive fewer emails, you can
<a href="https://gitlab.com/sent_notifications/6c185d9fda7656915b4cce0f947524f9/unsubscribe">unsubscribe</a>
from this thread or
adjust your notification settings.
<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Merge request","url":"https://gitlab.com/gnutls/gnutls/merge_requests/808#note_124782407"}}</script>
</p>
</div>
</body>
</html>