diff options
| author | Pierre Boutillier | 2015-02-03 23:12:56 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2015-02-13 18:33:20 +0100 |
| commit | 997230709aed2b1d2f57f9ac8829991fa01e9b5c (patch) | |
| tree | 1860eeee3e07e74d4487d362ec389da8ac8db853 | |
| parent | bb3c3713929ff8647004c18faaebcc311335cfa9 (diff) | |
Fixup version & copyright for MacOS bundle
| -rw-r--r-- | Makefile.build | 2 | ||||
| -rw-r--r-- | configure.ml | 3 | ||||
| -rw-r--r-- | ide/MacOS/Info.plist.template | 2 |
3 files changed, 4 insertions, 3 deletions
diff --git a/Makefile.build b/Makefile.build index 0d87d98e96..c3936c1a7a 100644 --- a/Makefile.build +++ b/Makefile.build @@ -388,7 +388,7 @@ install-ide-info: $(COQIDEAPP)/Contents: rm -rdf $@ $(MKDIR) $@ - sed -e "s/VERSION/$(VERSION)/g" ide/MacOS/Info.plist.template > $@/Info.plist + sed -e "s/VERSION/$(VERSION4MACOS)/g" ide/MacOS/Info.plist.template > $@/Info.plist $(MKDIR) "$@/MacOS" $(COQIDEINAPP): ide/macos_prehook.cmx $(LINKIDEOPT) | $(COQIDEAPP)/Contents diff --git a/configure.ml b/configure.ml index 0c1d39127f..6d30b28312 100644 --- a/configure.ml +++ b/configure.ml @@ -1124,7 +1124,8 @@ let write_makefile f = List.iter (fun (v,msg,_,_) -> pr "# %s: path for %s\n" v msg) install_dirs; List.iter (fun (v,_,dir,_) -> pr "%s=%S\n" v dir) install_dirs; pr "\n# Coq version\n"; - pr "VERSION=%s\n\n" coq_version; + pr "VERSION=%s\n" coq_version; + pr "VERSION4MACOS=%s\n\n" coq_macos_version; pr "# Objective-Caml compile command\n"; pr "OCAML=%S\n" camlexec.top; pr "OCAMLC=%S\n" camlexec.byte; diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template index fd80c83969..e224e81204 100644 --- a/ide/MacOS/Info.plist.template +++ b/ide/MacOS/Info.plist.template @@ -66,7 +66,7 @@ <key>CFBundleGetInfoString</key> <string>Coq_vVERSION</string> <key>NSHumanReadableCopyright</key> - <string>Copyright 1999-2014, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS</string> + <string>Copyright 1999-2015, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS</string> <key>CFBundleHelpBookFolder</key> <string>share/doc/coq/html/</string> <key>CFAppleHelpAnchor</key> |