Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
cb7a3729
Commit
cb7a3729
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-07-03 09:37:32 by afrisch] Cosmetic
Original author: afrisch Date: 2004-07-03 09:37:32+00:00
parent
734d9824
Changes
3
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
cb7a3729
...
...
@@ -25,6 +25,7 @@ profile: misc/q_symbol.cmo
$(MAKE)
compute_depend
PROFILE
=
true
SYNTAX_PARSER
=
;
\
$(MAKE)
cduce
PROFILE
=
true
SYNTAX_PARSER
=
NATIVE
=
false
)
# Site-specific installation
charme_build
:
...
...
Makefile.distrib
View file @
cb7a3729
...
...
@@ -86,13 +86,12 @@ cduce_lib.cma:
endif
install
:
all install_lib
mkdir
-p
$(BINDIR)
mkdir
-p
$(MANDIR)
/man1
$(INSTALL)
-m755
cduce
$(EXE)
dtd2cduce
$(EXE)
\
$(HIDE)
mkdir
-p
$(BINDIR)
$(HIDE)
mkdir
-p
$(MANDIR)
/man1
@
echo
"Install binaries"
$(HIDE)$(INSTALL)
-m755
cduce
$(EXE)
dtd2cduce
$(EXE)
\
validate
$(EXE)
cdo2ml
$(EXE)
$(BINDIR)
/
$(INSTALL)
-m644
doc/cduce.1
$(MANDIR)
/man1/
$(INSTALL)
-m644
doc/dtd2cduce.1
$(MANDIR)
/man1/
$(INSTALL)
-m644
doc/validate.1
$(MANDIR)
/man1/
$(HIDE)
(
cd
doc
;
$(MAKE)
install
INSTALL
=
$(INSTALL)
MANDIR
=
$(MANDIR)
HIDE
=
$(HIDE)
)
install_lib
:
@
echo
"Build META"
...
...
@@ -101,10 +100,10 @@ install_lib:
$(HIDE)
echo
'description="Runtime support for CDuce"'
>>
META
$(HIDE)
echo
'archive(byte)="cduce_lib.cma"'
>>
META
$(HIDE)
echo
'archive(native)="cduce_lib.cmxa"'
>>
META
-
$(OCAMLFIND)
remove cduce
-
$(OCAMLFIND)
install
cduce META
\
cduce_lib.cmi
cduce_lib.cmi
\
$(
wildcard
*
.cma
)
$(
wildcard
*
.cmxa
)
$(
wildcard
*
.a
)
$(HIDE)
-
$(OCAMLFIND)
remove cduce
$(HIDE)
-
$(OCAMLFIND)
install
cduce META
\
cduce_lib.cmi
$(
wildcard
*
.cma
)
$(
wildcard
*
.cmxa
)
$(
wildcard
*
.a
)
\
uninstall
:
rm
-f
$(BINDIR)
/cduce
$(EXE)
$(BINDIR)
/dtd2cduce
$(EXE)
\
...
...
doc/Makefile
View file @
cb7a3729
...
...
@@ -6,3 +6,7 @@ all: $(MAN)
.docbook.1
:
docbook-to-man
$<
>
$@
install
:
@
echo
"Install man pages"
$(HIDE)$(INSTALL)
-m644
$(MAN)
$(MANDIR)
/man1/
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment