[Bug 2291284] Review Request: lem - Lem semantic definition language

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



https://bugzilla.redhat.com/show_bug.cgi?id=2291284

Jerry James <loganjerry@xxxxxxxxx> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |loganjerry@xxxxxxxxx



--- Comment #14 from Jerry James <loganjerry@xxxxxxxxx> ---
For the purpose of educating both the submitter and the reviewer, here are a
few things to look for in future reviews.  It is hard to convey tone in
electronic communications, so I want to stress that I am attempting to educate,
not criticize.

First, "%global debug_package %{nil}" is both unnecessary and wrong.  See
https://docs.fedoraproject.org/en-US/packaging-guidelines/Debuginfo/.  That
line can and should be removed, since the -g flag is passed to both ocamlc and
ocamlopt during the build.

Second, the spec contains "BuildRequires: ocaml-rpm-macros", but none of the
RPM macros defined in that package are actually used.  If there is reason not
to use them, then this dependency should be removed.

Third, the use of %attr in %files seems dodgy.  Why do the files have wrong
permissions in the first place? It appears that the lem tool itself is setting
the incorrect permission bits.  If I remove the built files in the isabelle-lib
directory and run this command:

../lem -isa -outdir ../isabelle-lib -wl ign -wl_auto_import err -wl_rename err
bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem
either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem
function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem
map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem
show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem debug.lem
-auxiliary_level none -only_changed_output

then the files are generated with the incorrect permissions.  In
src/process_file.ml, lines 90-92 read:

let open_output_with_check dir file_name =
  let (temp_file_name, o) = Filename.open_temp_file "lem_temp" "" in
  (o, (o, temp_file_name, Filename.concat dir file_name))

and the documentation of open_temp_file
(https://ocaml.org/manual/5.3/api/Filename.html) says: "The file is created
with permissions perms (defaults to readable and writable only by the file
owner, 0o600)."  So this could be fixed by passing "~perms:0o666" to
open_temp_file.  This should probably be discussed with lem upstream.

Finally, I see several instances of this warning in the build log:

Alert ocaml_deprecated_auto_include: 
OCaml's lib directory layout changed in 5.0. The str subdirectory has been
automatically added to the search path, but you should add -I +str to the
command-line to silence this alert (e.g. by adding str to the list of
libraries in your dune file, or adding use_str to your _tags file for
ocamlbuild, or using -package str for ocamlfind).

Please tell upstream that "use_str" needs to be added to src/_tags or the
package will stop building in some future OCaml release.

I missed this package when rebuilding all Fedora OCaml packages this weekend,
so I will take care of #1 and #2 when I rebuild.


-- 
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
https://bugzilla.redhat.com/show_bug.cgi?id=2291284

Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202291284%23c14

-- 
_______________________________________________
package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/package-review@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue




[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite Conditions]     [KDE Users]

  Powered by Linux