]> matita.cs.unibo.it Git - helm.git/commit
detects and uses {ocamlc,ocamlopt}.opt when available
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 21 Apr 2004 17:46:17 +0000 (17:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 21 Apr 2004 17:46:17 +0000 (17:46 +0000)
commitdb380975055d3e4bc3668adba56f693aa8f0968f
treede41ae0f6b3c8e4d55e7d559e4f0c27f9ede49e3
parent0bdb4b19d800f2e0d6a65dd8a9194bec3124b8ae
detects and uses {ocamlc,ocamlopt}.opt when available
helm/gTopLevel/Makefile.in
helm/gTopLevel/configure.ac