Where is the .mli files for Core
Where is the .mli files for Core installed by opam.
It is under
~/.opam/4.00.1/lib/core
where 4.00.1 is the version of OCaml used.
For example, date.mli is under ~/.opam/4.00.1/lib/core/date.mli.
Similar Posts
Converting String to long Integer in C
ByQ AConverting a string to a long in C is a common operation that can be useful in various programming tasks. In this post, we will explore how to use the strtol and strtoul C library functions to convert a string to a long in C. Using strtol and strtoul The strtol and strtoul functions are…
How to convert between dos and unix file coding in Emacs?
ByEric MaHow to convert between dos and unix file coding for files in Emacs? From Dos to Unix coding: M-x set-buffer-file-coding-system RET undecided-unix or C-x RET f undecided-unix Then save the file (C-x C-s). From Unix to Dos M-x set-buffer-file-coding-system RET undecided-dos or C-x RET f undecided-dos Then save the file (C-x C-s). Read more: How…
How to set and get an environment variable in C on Linux?
ByQ AHow to set and get an environment variable in C on Linux? You can use the setenv and getenv POSIX APIs to set and get environment variables. To add or change environment variable: #include <stdlib.h> int setenv(const char *envname, const char *envval, int overwrite); To get value of an environment variable: #include <stdlib.h> char *getenv(const…
How to get a FILE pointer from a file descriptor and how to get a file descriptor from a FILE pointer in C on Linux?
ByEric MaI would like to open files by open() directly. But how to get a FILE pointer from a file descriptor in C on Linux? And how to do the reverse direction: get a file descriptor from a FILE pointer? Get a FILE pointer from a file descriptor (e.g. fd) in C on Linux: FILE *file…
How to install musl libc on Fedora 21 Linux?
ByEric MaIt seems Fedora 21 does not ship with musl-libc. How to install musl libc on Fedora 21 Linux? First, download musl libc source package from its download page: http://www.musl-libc.org/download.html . Here we use 1.1.5 as the example. After unpacking the source package, configure and build it by $ ./configure $ make Then, install it by…
How to install gfortran on CentOS 7?
ByEric MaHow to install the gfortran fortran compiler on CentOS 7 Linux? gfortran on CentOS 7 is provided in the gcc-gfortran package. You may install it to install gfortran. # yum install gcc-gfortran Loaded plugins: fastestmirror, langpacks Loading mirror speeds from cached hostfile * base: ftp.cuhk.edu.hk * epel: ftp.cuhk.edu.hk * extras: centos.01link.hk * nux-dextop: li.nux.ro *…