Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
07546417
Commit
07546417
authored
Sep 29, 2010
by
MARCHE Claude
Browse files
cp --parents is not portable
parent
a6474836
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile.in
View file @
07546417
...
...
@@ -226,8 +226,12 @@ install_no_local::
mkdir
-p
$(LIBDIR)
/why3
mkdir
-p
$(DATADIR)
/why3/images
mkdir
-p
$(DATADIR)
/why3/lang
cp
-f
--parents
theories/
*
.why theories/
*
/
*
.why
$(DATADIR)
/why3/
cp
-f
--parents
drivers/
*
.drv
$(DATADIR)
/why3/
mkdir
-p
$(DATADIR)
/why3/theories
mkdir
-p
$(DATADIR)
/why3/theories/transform
mkdir
-p
$(DATADIR)
/why3/drivers
cp
-f
theories/
*
.why
$(DATADIR)
/why3/theories
cp
-f
theories/transform/
*
.why
$(DATADIR)
/why3/theories/transform
cp
-f
drivers/
*
.drv
$(DATADIR)
/why3/drivers
cp
-f
share/provers-detection-data.conf
$(DATADIR)
/why3/
cp
-f
share/images/
*
.png
$(DATADIR)
/why3/images
cp
-f
share/lang/why.lang
$(DATADIR)
/why3/lang/why.lang
...
...
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