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
70d0eaf2
Commit
70d0eaf2
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-07-01 09:46:20 by beppe] Empty log message
Original author: beppe Date: 2005-07-01 09:50:08+00:00
parent
2e79a230
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
70d0eaf2
...
@@ -103,13 +103,16 @@ OCAML_STDLIBDIR := $(shell ocamlc -where)
...
@@ -103,13 +103,16 @@ OCAML_STDLIBDIR := $(shell ocamlc -where)
echo
"prerr_endline \"All done!\""
>>
$@
echo
"prerr_endline \"All done!\""
>>
$@
echo '(* vim
:
set ft=ocaml: *)' >> $@
echo '(* vim
:
set ft=ocaml: *)' >> $@
CVS_DISTRIB
=
web CHANGES LICENSE README AUTHORS doc cduce dtd2cduce
CVS_DISTRIB
=
web CHANGES LICENSE README AUTHORS cduce dtd2cduce
CVS_DOC
=
doc/cdo2ml.1 doc/cduce.1 doc/cduce_mktop.1 doc/cduce_validate.1 doc/dtd2cduce.1 doc/fomanual/tutorial.pdf doc/fomanual/manual.pdf
cvs_snapshot_bin
:
clean
cvs_snapshot_bin
:
clean
if
[[
`
uname
`
!=
Linux
]]
;
then
echo
"Not a Linux box!"
;
exit
2
;
fi
if
[[
`
uname
`
!=
Linux
]]
;
then
echo
"Not a Linux box!"
;
exit
2
;
fi
$(MAKE)
cduce dtd2cduce
NATIVE
=
true
EXTRA_LINK_OPTS
=
"-ccopt -static"
VERSION
=
cvs
`
date
+%Y%m%d
`
$(MAKE)
cduce dtd2cduce
NATIVE
=
true
EXTRA_LINK_OPTS
=
"-ccopt -static"
VERSION
=
cvs
`
date
+%Y%m%d
`
rm
-Rf
cduce-cvs
rm
-Rf
cduce-cvs
mkdir
cduce-cvs
mkdir
cduce-cvs
mkdir
cduce-cvs/doc
cp
-R
$(CVS_DISTRIB)
cduce-cvs
cp
-R
$(CVS_DISTRIB)
cduce-cvs
cp
$(CVS_DOC)
cduce-cvs/doc
cp
Makefile.binary cduce-cvs/Makefile
cp
Makefile.binary cduce-cvs/Makefile
tar
czf cduce-cvs-linux-static.tar.gz
--exclude
CVS cduce-cvs
tar
czf cduce-cvs-linux-static.tar.gz
--exclude
CVS cduce-cvs
rm
-Rf
cduce-cvs
rm
-Rf
cduce-cvs
...
...
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