Makefile: detect ext_dll
commitb537a2b7259d2230b66d6aa3e104cb0e54beddc5
authorygrek <ygrek@autistici.org>
Mon, 22 Jun 2015 00:46:14 +0000 (21 17:46 -0700)
committerygrek <ygrek@autistici.org>
Mon, 22 Jun 2015 00:46:14 +0000 (21 17:46 -0700)
tree89ff548265e813f8076082b5bb400ee3fa6d6888
parent09f4c7a33f5676a8251a21add4705224ec3b14f4
Makefile: detect ext_dll
Makefile.in
configure.in
print_ext.ml [new file with mode: 0644]