<feed xmlns='http://www.w3.org/2005/Atom'>
<title>coq/configure, branch master</title>
<subtitle>The formal proof system</subtitle>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/'/>
<entry>
<title>Merge PR#729: Fixing an inconsistency between configure and configure.ml</title>
<updated>2017-06-23T08:46:42+00:00</updated>
<author>
<name>Maxime Dénès</name>
</author>
<published>2017-06-23T08:46:42+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=0d55670bdeebb96483a20e188f1e2f6b939c017e'/>
<id>0d55670bdeebb96483a20e188f1e2f6b939c017e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>configure: avoid deprecated warnings</title>
<updated>2017-06-04T14:43:10+00:00</updated>
<author>
<name>Pierre Letouzey</name>
</author>
<published>2017-02-04T18:22:11+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=565d6c5f2fc89cab3b119308fbe2c0edeff033ce'/>
<id>565d6c5f2fc89cab3b119308fbe2c0edeff033ce</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Fixing an inconsistency between configure and configure.ml.</title>
<updated>2017-06-04T14:40:43+00:00</updated>
<author>
<name>Hugo Herbelin</name>
</author>
<published>2017-05-13T20:37:27+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=299cbc41f74aa4dd8ddfd14ca9da3a92cff34474'/>
<id>299cbc41f74aa4dd8ddfd14ca9da3a92cff34474</id>
<content type='text'>
The shell script configure was assuming the existence of option
-camldir which was removed in 333d41a9.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
The shell script configure was assuming the existence of option
-camldir which was removed in 333d41a9.
</pre>
</div>
</content>
</entry>
<entry>
<title>configure.ml: our configure script is now written in ML :-)</title>
<updated>2013-12-20T17:57:08+00:00</updated>
<author>
<name>Pierre Letouzey</name>
</author>
<published>2013-11-30T10:04:10+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=8ba7983f467a6e235ba88e10be90381c9429cad2'/>
<id>8ba7983f467a6e235ba88e10be90381c9429cad2</id>
<content type='text'>
  configure is now just a minimal wrapper around the new configure.ml.
  This configure.ml is runned with the same ocaml used during
  compilation, and starts with a #load "unix.cma".
  For now, this new configure script is meant to be 99% compatible
  with the old one. Known incompatibilities : the --foo option format
  (with two --) isn't supported anymore, use -foo options instead.
  Let me know if you encounter any other changes.

  Internals:
   - We use our own "run" command (based on Unix.create_process) to avoid
     relying on some specific shell (/bin/sh or cmd.exe).
   - We should have far less issues with filename quoting under windows
     since we almost never rely on (cygwin) shell anymore. This remains
     to be fully tested, though.
   - dev/ocamldebug-coq is slightly different now, to ease its generation
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
  configure is now just a minimal wrapper around the new configure.ml.
  This configure.ml is runned with the same ocaml used during
  compilation, and starts with a #load "unix.cma".
  For now, this new configure script is meant to be 99% compatible
  with the old one. Known incompatibilities : the --foo option format
  (with two --) isn't supported anymore, use -foo options instead.
  Let me know if you encounter any other changes.

  Internals:
   - We use our own "run" command (based on Unix.create_process) to avoid
     relying on some specific shell (/bin/sh or cmd.exe).
   - We should have far less issues with filename quoting under windows
     since we almost never rely on (cygwin) shell anymore. This remains
     to be fully tested, though.
   - dev/ocamldebug-coq is slightly different now, to ease its generation
</pre>
</div>
</content>
</entry>
<entry>
<title>Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e</title>
<updated>2013-12-17T17:27:02+00:00</updated>
<author>
<name>Pierre Boutillier</name>
</author>
<published>2013-12-17T17:26:48+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=30b58d43e48569afb50a35d3915ec7d453a61f5d'/>
<id>30b58d43e48569afb50a35d3915ec7d453a61f5d</id>
<content type='text'>
Attempt to adapt .el files too.
doc/refman/RefMan-uti.tex has still to be fixed.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Attempt to adapt .el files too.
doc/refman/RefMan-uti.tex has still to be fixed.
</pre>
</div>
</content>
</entry>
<entry>
<title>configure: typo in my last commit</title>
<updated>2013-11-23T12:14:55+00:00</updated>
<author>
<name>Pierre Letouzey</name>
</author>
<published>2013-11-23T11:38:49+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=a876cfe8c144d62e825d938675d54a830e380b26'/>
<id>a876cfe8c144d62e825d938675d54a830e380b26</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>configure: improve last fix</title>
<updated>2013-11-22T09:25:58+00:00</updated>
<author>
<name>Pierre Letouzey</name>
</author>
<published>2013-11-22T09:23:35+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=1abae19d5688b987b19efba8bcac8577892fcd27'/>
<id>1abae19d5688b987b19efba8bcac8577892fcd27</id>
<content type='text'>
 Let's avoid the "if a=$(cmd ...)" since:
 - unless being a shell expert, it's not obvious it's testing the exit code
   of cmd.
 - it's quite fragile, if you pipe cmd into a cmd2 you'll lose the
   exit code of cmd.

 Instead, we test the emptiness of the variable content afterwards
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
 Let's avoid the "if a=$(cmd ...)" since:
 - unless being a shell expert, it's not obvious it's testing the exit code
   of cmd.
 - it's quite fragile, if you pipe cmd into a cmd2 you'll lose the
   exit code of cmd.

 Instead, we test the emptiness of the variable content afterwards
</pre>
</div>
</content>
</entry>
<entry>
<title>configure: CAML_LD_LIBRARY_PATH is enriched, not overwritten</title>
<updated>2013-11-21T22:04:32+00:00</updated>
<author>
<name>Pierre Letouzey</name>
</author>
<published>2013-11-21T21:29:45+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=433fe369bc95d7fe2086cf2256d85443b2420f34'/>
<id>433fe369bc95d7fe2086cf2256d85443b2420f34</id>
<content type='text'>
 Keeping the earlier content of this variable is crucial for opam
 (at least).

 Thanks to François Bobot and Thomas Refis for this one...
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
 Keeping the earlier content of this variable is crucial for opam
 (at least).

 Thanks to François Bobot and Thomas Refis for this one...
</pre>
</div>
</content>
</entry>
<entry>
<title>configure: fix some issues with last commit</title>
<updated>2013-11-21T22:01:53+00:00</updated>
<author>
<name>Pierre Letouzey</name>
</author>
<published>2013-11-21T21:47:14+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=b3bc0e3a3289314baf95d948578ca4ee51a9db94'/>
<id>b3bc0e3a3289314baf95d948578ca4ee51a9db94</id>
<content type='text'>
 - after piping with | tr -d, an exit code was lost
 - suspicious use of " " inside a larger " ", we use ' ' now instead
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
 - after piping with | tr -d, an exit code was lost
 - suspicious use of " " inside a larger " ", we use ' ' now instead
</pre>
</div>
</content>
</entry>
<entry>
<title>Fix various \r issues with windows</title>
<updated>2013-11-21T20:23:43+00:00</updated>
<author>
<name>Jason Gross</name>
</author>
<published>2013-11-09T23:50:59+00:00</published>
<link rel='alternate' type='text/html' href='https://git.0x7felf.com/coq/commit/?id=71bd17b666e82ffb2b83644e5c122763e12e900b'/>
<id>71bd17b666e82ffb2b83644e5c122763e12e900b</id>
<content type='text'>
Also add a 2 in an error message (it's gSourceView2, not gSourceView).

This closes bugs 3150, 3151, 3152, and 3153.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Also add a 2 in an error message (it's gSourceView2, not gSourceView).

This closes bugs 3150, 3151, 3152, and 3153.
</pre>
</div>
</content>
</entry>
</feed>
