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
How to get the assembly code for OCaml code generated by ocamlopt?
ByQ A
How to get the native assembly code (e.g. x86-64 asm) for OCaml code generated by the native ocamlopt compiler? To get the assembly code for an OCaml program, add these parameters to ocamlopt: -S -inline 20 -nodynlink An example is as follows. The OCaml program: $ cat not.ml let not x = ((x – 1)…
Port forwarding on local host
ByQ A
I am trying to forward UDP port 500 to 2500 on local host, but can’t get this to work – I have run: iptables -t nat -A PREROUTING -p udp -d 192.168.1.10 –dport 500 -j DNAT –to-destination 192.168.1.10:2500 iptables -A FORWARD -p udp -d 192.168.1.10 –dport 2500 -j ACCEPT where 192.168.1.10 is the IP of…
Replacing tabs with spaces in Emacs
ByEric Ma
How to replace tabs with spaces in Emacs? You can first select the regions of text for converting/replacing, then run M-x untabify to replace all tabs with appropriate number of spaces. There is also a M-x tabify for replacing sequences of spaces to tabs. There are also commands to convert tabs to spaces or vice…
How to make “tree” output consistent on Linux
ByEric Ma
I tried tree on different Linux boxes to verify the files by diff. However, I found the format can be a little bit different on different nodes. For examples, the tree result could be . |– test2 | |– test4 | `– test5 `– test3 1 directory, 3 files or . ├── test2 │ ├──…
How to install Scala on Fedora Linux
ByQ A
This tutorial introduces how to install Scala 2.9.2 on 64-bit Fedora Linux 17. There are some changes needed to make scala work on Fedora Linux 17. Please check it out in the answer. Install Java Scala depends on Java, so please install Java first. In this tutorial, we installed JDK to: /usr/java/jdk1.6.0_24/lib/. Install Scala from…
How to test the connections between Linux hosts/servers?
ByQ A
How to easily and quickly test the connection between two nodes on Linux? This should be specific to protocol and port. We can use nc (netcat) to test the connection between two servers. For example, to test whether TCP port 1048 can be used on the server (IP 10.0.3.48 as an example) side: On the server: $…