casa-mp-base

--- xcodeml-tools/F-FrontEnd/src/Makefile.in.orig   2018-05-24 17:49:59.000000000 +0900

+++ xcodeml-tools/F-FrontEnd/src/Makefile.in    2018-07-02 15:15:33.000000000 +0900

@@ -72,8 +72,8 @@

 install: $(F_FRONT)

    $(MKDIR_P) $(DESTDIR)$(BINDIR)

    $(INSTALL) $(F_FRONT) $(DESTDIR)$(BINDIR)

-   $(MKDIR_P) $(XMODDIR)

-   $(INSTALL) $(INTRMOD) $(XMODDIR)

+   $(MKDIR_P) $(DESTDIR)$(XMODDIR)

+   $(INSTALL) $(INTRMOD) $(DESTDIR)$(XMODDIR)

 clean:

    rm -f *.o $(CREATE_FILES) $(F_FRONT)