Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 922714 - dev-ml/core-0.14.0-r4 fails to build: error: ‘core_Val_none’ undeclared (first use in this function); did you mean ‘Val_none’?
Summary: dev-ml/core-0.14.0-r4 fails to build: error: ‘core_Val_none’ undeclared (firs...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: 915368
  Show dependency tree
 
Reported: 2024-01-22 17:47 UTC by matoro
Modified: 2024-06-02 20:52 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
build.log and emerge --info (file_922714.txt,30.29 KB, text/plain)
2024-01-22 17:48 UTC, matoro
Details

Note You need to log in before you can comment on or make changes to this bug.
Description matoro archtester 2024-01-22 17:47:00 UTC
Only think I can find remotely similar is https://github.com/janestreet/core/issues/100


File "src/dune", line 10, characters 67-77:
10 |  (c_names ocaml_utils_stubs pthread_np_stubs signal_stubs timespec unix_stubs
                                                                        ^^^^^^^^^^
powerpc64-unknown-linux-gnu-gcc src/unix_stubs.o (exit 1)
unix_stubs.c: In function ‘core_unix_sysconf’:
unix_stubs.c:825:14: error: ‘core_Val_none’ undeclared (first use in this function); did you mean ‘Val_none’?
  825 |       return core_Val_none;
      |              ^~~~~~~~~~~~~
      |              Val_none
unix_stubs.c:825:14: note: each undeclared identifier is reported only once for each function it appears in
unix_stubs.c:831:10: warning: implicit declaration of function ‘core_Val_some’ [-Wimplicit-function-declaration]
  831 |   return core_Val_some(caml_copy_int64(ret));
      |          ^~~~~~~~~~~~~

Reproducible: Always
Comment 1 matoro archtester 2024-01-22 17:48:28 UTC
Created attachment 882860 [details]
build.log and emerge --info
Comment 2 Larry the Git Cow gentoo-dev 2024-06-02 20:52:36 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f2a6fa0463f6ad112cd01fc20d3a068aacb11d49

commit f2a6fa0463f6ad112cd01fc20d3a068aacb11d49
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2024-06-02 20:51:41 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2024-06-02 20:52:16 +0000

    dev-ml/core: add dev-ml/jane-street-headers deps
    
    Closes: https://bugs.gentoo.org/922714
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/core/{core-0.14.0-r5.ebuild => core-0.14.0-r6.ebuild} | 1 +
 1 file changed, 1 insertion(+)