Bug 34902 - Invalid libdir builtin in menhir
Summary: Invalid libdir builtin in menhir
Status: CLOSED FIXED
Alias: None
Product: Sisyphus
Classification: Development
Component: ocaml-menhir (show other bugs)
Version: unstable
Hardware: all Linux
: P3 normal
Assignee: Anton Farygin
QA Contact: qa-sisyphus
URL:
Keywords:
Depends on:
Blocks: 35493
  Show dependency tree
 
Reported: 2018-05-14 02:56 MSK by Vitaly Chikunov
Modified: 2018-10-09 08:25 MSK (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Vitaly Chikunov 2018-05-14 02:56:40 MSK 

    


    


      



        
          Comment 1
        

        
          Vitaly Chikunov

        

        
        

        
          2018-05-14 03:02:23 MSK
        

      






При компиляции coccinelle возникает ошибка

Error: /usr/src/tmp/ocaml-menhir-buildroot/usr/share/menhir/standard.mly: No such file or directory

[builder@localhost ~]$ strings /usr/bin/menhir | grep buildroot
/usr/src/tmp/ocaml-menhir-buildroot/usr/share/menhir

[builder@localhost ~]$ ls -l /usr/share/menhir/standard.mly
-rw-r--r-- 1 rooter rooter 6521 Jul 11  2017 /usr/share/menhir/standard.mly

в ocaml-menhir/menhir/src/settings.ml есть такая запись:

(* By default, [stdlib_path] is [Installation.libdir], that is, the directory
   that was specified when Menhir was compiled. This is overridden by the
   environment variable $MENHIR_STDLIB, if it is defined, and by the --stdlib
   command line option, if present. *)

Workaround, установить MENHIR_STDLIB работает. Однако, это не совсем правильно, что по-умолчанию в путь попал buildroot.

    


    


      



        
          Comment 2
        

        
          Repository Robot

        

        
        

        
          2018-05-31 18:26:20 MSK
        

      






ocaml-menhir-20180530-alt1.S1 -> sisyphus:

Thu May 31 2018 Anton Farygin <rider@altlinux.ru> 20180530-alt1.S1
- 20180530 (closes: #34902)