• [Git][ocaml-team/findlib][master] 3 commits: Remove .PHONY rules (1/3)

    From =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdSAoQ@21:1/5 to All on Tue Aug 6 05:10:02 2024
    Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / findlib


    Commits:
    0a768280 by Stephane Glondu at 2024-08-06T04:43:26+02:00
    Remove .PHONY rules

    - - - - -
    d262af98 by Stephane Glondu at 2024-08-06T04:43:26+02:00
    Remove packages that are already provided by stdlib

    - - - - -
    bc44425d by Stephane Glondu at 2024-08-06T04:43:26+02:00
    Update changelog

    - - - - -


    2 changed files:

    - debian/changelog
    - debian/rules


    Changes:

    =====================================
    debian/changelog
    =====================================
    @@ -1,3 +1,9 @@
    +findlib (1.9.6-3) UNRELEASED; urgency=medium
    +
    + * Remove packages that are already provided by stdlib
    +
    + -- Stéphane Glondu <[email protected]> Mon, 15 Jul 2024 17:10:20 +0200
    +
    findlib (1.9.6-2) unstable; urgency=medium

    * Fix build with OCaml 5.x


    =====================================
    debian/rules
    =====================================
    @@ -9,7 +9,6 @@ include /usr/share/ocaml/ocamlvars.mk
    %:
    dh $@ --with ocaml,bash-completion

    -.PHONY: override_dh_auto_configure
    override_dh_auto_configure:
    ./configure \
    -config /etc/ocamlfind.conf \
    @@ -20,7 +19,6 @@ override_dh_auto_configure:
    -with-toolbox
    sed -i '/INSTALLFILE/s/.*/INSTALLFILE = cp/' Makefile.config

    -.PHONY: override_dh_auto_build
    override_dh_auto_build:
    $(MAKE)
    ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
    @@ -43,7 +41,6 @@ endif

    export OCAMLINIT_SED

    -.PHONY: override_dh_auto_install
    override_dh_auto_install:
    $(MAKE) install prefix=$(CURDIR)/debian/tmp
    # rm ocamlc.opt and similar settings, they're not avail everywhere in debian @@ -54,13 +51,19 @@ override_dh_auto_install:
    test -d $(CURDIR)/debian/tmp/usr/share/man/man3 && \
    rmdir $(CURDIR)/debian/tmp/usr/share/man/man3

    +execute_after_dh_install:
    +# remove packages that are already provided by stdlib
    + for p in bytes; do \
    + if [ -d $(OCAML_STDLIB_DIR)/$$p ]; then \
    + rm -rf $(CURDIR)/debian/libfindlib-ocaml$(OCAML_STDLIB_DIR)/$$p; \ + fi; \
    + done
    +
    # do not strip executables on bytecode executables (is this still needed?)
    ifneq ($(OCAML_HAVE_OCAMLOPT),yes)
    -.PHONY: override_dh_strip
    override_dh_strip:
    endif

    -.PHONY: override_dh_auto_clean
    override_dh_auto_clean:
    if [ -f Makefile.config ]; then $(MAKE) clean; fi
    -rm -f Makefile.config ocargs.log src/findlib/ocaml_args.ml



    View it on GitLab: https://salsa.debian.org/ocaml-team/findlib/-/compare/50eabc0c5d74db3c266cf46d3feefca6c8b49aca...bc44425d55fd3156ea7b7130cbdc87a6d9ca549b

    --
    View it on GitLab: https://salsa.debian.org/ocaml-team/findlib/-/compare/50eabc0c5d74db3c266cf46d3feefca6c8b49aca...bc44425d55fd3156ea7b7130cbdc87a6d9ca549b
    You're receiving this email because of your account on salsa.debian.org.



    <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
    <html lang="en" style='--code-editor-font: var(--default-mono-font, "GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
    <head>
    <meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
    <title>
    GitLab
    </title>

    <style data-premailer="ignore" type="text/css">
    a { color: #1068bf; }
    </style>


    <style>img {
    max-width: 100%; height: auto;
    }
    body {
    font-size: .875rem;
    }
    body {
    -webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px;
    }
    body {
    font-family: var(--default-regular-font, "GitLab Sans"),-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size:
    inherit;
    }
    </style>
    </head>
    <body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px; font-family: var(--default-regular-font, "GitLab Sans"),-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"
    Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'> <div class="content">

    <h3 style="margin-top: 20px; margin-bottom: 10px;">
    St&#233;phane Glondu pushed to branch master at <a href="https://salsa.debian.org/ocaml-team/findlib">Debian OCaml Maintainers / findlib</a>
    </h3>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    Commits:
    </h4>


    <strong style="font-weight: 600;"><a href="https://salsa.debian.org/ocaml-team/findlib/-/commit/0a76828085a7034dfd7ba84945a68df7984f2839">0a768280</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-08-06T04:43:26+02:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Remove .PHONY rules
    </pre>
    </li>

    <strong style="font-weight: 600;"><a href="https://salsa.debian.org/ocaml-team/findlib/-/commit/d262af986337fed9cab01f49644fb1691ca9bc87">d262af98</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-08-06T04:43:26+02:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Remove packages that are already
    provided by stdlib
    </pre>
    </li>

    <strong style="font-weight: 600;"><a href="https://salsa.debian.org/ocaml-team/findlib/-/commit/bc44425d55fd3156ea7b7130cbdc87a6d9ca549b">bc44425d</a></strong>
    <div>
    <span> by Stephane Glondu </span> <i> at 2024-08-06T04:43:26+02:00 </i>
    </div>
    <pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","Consolas","
    Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update changelog
    </pre>
    </li>
    </ul>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    2 changed files:
    </h4>

    <li class="file-stats">
    <a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1">
    debian/changelog

    </li>
    <li class="file-stats">
    <a href="#8756c63497c8dc39f7773438edf53b220c773f67">
    debian/rules

    </li>
    </ul>
    <h4 style="margin-top: 10px; margin-bottom: 10px;">
    Changes:
    </h4>
    <li id="9c96da0e9f91d7d8937b69b524702c106258f0d1">
    <a href="https://salsa.debian.org/ocaml-team/findlib/-/compare/50eabc0c5d74db3c266cf46d3feefca6c8b49aca...bc44425d55fd3156ea7b7130cbdc87a6d9ca549b#9c96da0e9f91d7d8937b69b524702c106258f0d1"><strong style="font-weight: 600;">debian/changelog</strong></a>
    <hr style="overflow: hidden; border: 1px solid #e1e1e1;">
    <table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
    1
    </td>
    <td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","
    Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span
    id="LC1" class="line" lang="plaintext">findlib (1.9.6-3) UNRELEASED; urgency=medium</span>
    </pre></td>
    </tr>
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="2" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
    2
    </td>
    <td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","
    Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span
    id="LC2" class="line" lang="plaintext"></span>
    </pre></td>
    </tr>
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="3" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
    3
    </td>
    <td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","
    Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span
    id="LC3" class="line" lang="plaintext"> * Remove packages that are already provided by stdlib</span>
    </pre></td>
    </tr>
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="4" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
    4
    </td>
    <td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","
    Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span
    id="LC4" class="line" lang="plaintext"></span>
    </pre></td>
    </tr>
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="5" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
    5
    </td>
    <td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","
    Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span
    id="LC5" class="line" lang="plaintext"> -- St&#233;phane Glondu &lt;[email protected]&gt; Mon, 15 Jul 2024 17:10:20 +0200</span>
    </pre></td>
    </tr>
    <tr class="line_holder new" style="line-height: 1.6;">
    <td class="old_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

    </td>
    <td class="new_line diff-line-num new" data-linenumber="6" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
    6
    </td>
    <td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","
    Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span
    id="LC6" class="line" lang="plaintext"></span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    1
    </td>
    <td class="new_line diff-line-num" data-linenumber="7" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    7
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC7" class="
    line" lang="plaintext">findlib (1.9.6-2) unstable; urgency=medium</span> </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="2" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    2
    </td>
    <td class="new_line diff-line-num" data-linenumber="8" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    8
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC8" class="
    line" lang="plaintext"></span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="3" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    3
    </td>
    <td class="new_line diff-line-num" data-linenumber="9" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    9
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC9" class="
    line" lang="plaintext"> * Fix build with OCaml 5.x</span>
    </pre></td>
    </tr>

    </table>

    </li>
    <li id="8756c63497c8dc39f7773438edf53b220c773f67">
    <a href="https://salsa.debian.org/ocaml-team/findlib/-/compare/50eabc0c5d74db3c266cf46d3feefca6c8b49aca...bc44425d55fd3156ea7b7130cbdc87a6d9ca549b#8756c63497c8dc39f7773438edf53b220c773f67"><strong style="font-weight: 600;">debian/rules</strong></a>
    <hr style="overflow: hidden; border: 1px solid #e1e1e1;">
    <table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
    <tr class="line_holder match" style="line-height: 1.6;">
    <td class="diff-line-num unfold js-unfold old_line" data-linenumber="9" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...<

    <td class="diff-line-num unfold js-unfold new_line" data-linenumber="9" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...<

    <td class="line_content match" style="color: rgba(31,30,36,.24); padding: inherit;" bgcolor="#fbfafd">@@ -9,7 +9,6 @@ include /usr/share/ocaml/ocamlvars.mk</td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="9" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    9
    </td>
    <td class="new_line diff-line-num" data-linenumber="9" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    9
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC9" class="
    line" lang="make"><span class="nl">%</span><span class="o" style="font-weight: 600;">:</span></span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="10" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    10
    </td>
    <td class="new_line diff-line-num" data-linenumber="10" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    10
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC10" class="
    line" lang="make"> dh <span class="nv" style="color: teal;">$@</span> <span class="nt" style="color: navy;">--with</span> ocaml,bash-completion</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="11" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    11
    </td>
    <td class="new_line diff-line-num" data-linenumber="11" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    11
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC11" class="
    line" lang="make"></span>
    </pre></td>
    </tr>
    <tr class="line_holder old" style="line-height: 1.6;">
    <td class="old_line diff-line-num old" data-linenumber="12" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">
    12
    </td>
    <td class="new_line diff-line-num old" data-linenumber="12" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

    </td>
    <td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","
    Liberation Mono","Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span
    id="LC12" class="line" lang="make"><span class="nl">.PHONY</span><span class="o" style="font-weight: 600;">:</span> <span class="nf" style="color: #900; font-weight: 600;">override_dh_auto_configure</span></span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="13" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    13
    </td>
    <td class="new_line diff-line-num" data-linenumber="12" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    12
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC12" class="
    line" lang="make"><span class="nl">override_dh_auto_configure</span><span class="o" style="font-weight: 600;">:</span></span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="14" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    14
    </td>
    <td class="new_line diff-line-num" data-linenumber="13" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    13
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC13" class="
    line" lang="make"> ./configure <span class="se" style="color: #d14;">\</span></span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="15" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    15
    </td>
    <td class="new_line diff-line-num" data-linenumber="14" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    14
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC14" class="
    line" lang="make"> <span class="nt" style="color: navy;">-config</span> /etc/ocamlfind.conf <span class="se" style="color: #d14;">\</span></span>
    </pre></td>
    </tr>
    <tr class="line_holder match" style="line-height: 1.6;">
    <td class="diff-line-num unfold js-unfold old_line" data-linenumber="20" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...
    </td>
    <td class="diff-line-num unfold js-unfold new_line" data-linenumber="19" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...
    </td>
    <td class="line_content match" style="color: rgba(31,30,36,.24); padding: inherit;" bgcolor="#fbfafd">@@ -20,7 +19,6 @@ override_dh_auto_configure:</td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="20" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    20
    </td>
    <td class="new_line diff-line-num" data-linenumber="19" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    19
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC19" class="
    line" lang="make"> <span class="nt" style="color: navy;">-with-toolbox</span></span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="21" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    21
    </td>
    <td class="new_line diff-line-num" data-linenumber="20" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    20
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC20" class="
    line" lang="make"> <span class="nb" style="color: #0086b3;">sed</span> <span class="nt" style="color: navy;">-i</span> <span class="s1" style="color: #d14;">'/INSTALLFILE/s/.*/INSTALLFILE = cp/'</span> Makefile.config</span>
    </pre></td>
    </tr>
    <tr class="line_holder" style="line-height: 1.6;">
    <td class="old_line diff-line-num" data-linenumber="22" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    22
    </td>
    <td class="new_line diff-line-num" data-linenumber="21" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">
    21
    </td>
    <td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: var(--default-mono-font, "GitLab Mono"),"JetBrains Mono","Menlo","DejaVu Sans Mono","Liberation Mono","
    Consolas","Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC21" class="
    line" lang="make"></span>
    </pre></td>
    </tr>
    <tr class="line_holder old" style="line-height: 1.6;">
    <td class="old_line diff-line-num old" data-linenumber="23" style="width: 35px; color: rgba(31,30,36,.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">
    23
    </td>

    [continued in next message]

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)