Skip to content

Commit c859ccc

Browse files
committed
minor fixes
# Please enter the commit message for your changes. Lines starting # with '#' will be ignored, and an empty message aborts the commit. # # On branch master # Your branch is up to date with 'origin/master'. # # Changes to be committed: # modified: META.pl # modified: pa_import/Makefile # # Untracked files: # tests-inline/ppx_sexp_test.pappx.ml # tests-inline/ppx_sexp_test.ppx.ml #
1 parent 5c182fa commit c859ccc

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

META.pl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,7 @@ package "runtime_fat" (
6666
package "base" (
6767
$basemeta
6868
)
69-
package "unmateched_vala" (
69+
package "unmatched_vala" (
7070
$uvmeta
7171
)
7272
package "hashrecons" (

pa_import/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ META: META.pl
3838
install::
3939
./META.pl $(DESTDIR)/lib > META
4040
mkdir -p $(DESTDIR)/lib
41-
$(NOT_OCAMLFIND) reinstall-if-diff pa_ppx_import -destdir $(DESTDIR)/lib META $(TARGET) $(TARGET:.cma=.cmxa) $(TARGET:.cma=.a) $(wildcard *.cmt*)
41+
$(NOT_OCAMLFIND) reinstall-if-diff pa_ppx_import -destdir $(DESTDIR)/lib META $(TARGET) $(TARGET:.cma=.cmxa) $(TARGET:.cma=.a) $(CMI) $(wildcard *.cmt*)
4242
$(RM) -f META
4343

4444
local-install::

0 commit comments

Comments
 (0)