{"action":"created","comment":{"url":"https://api.github.com/repos/AbsInt/CompCert/pulls/comments/71168521","id":71168521,"diff_hunk":"@@ -14,12 +14,33 @@\n open Printf\n open Clflags\n \n+(* Is this a gnu based tool chain *)\n+let gnu_system = Configuration.system <> \"diab\"\n+\n (* Invocation of external tools *)\n \n let rec waitpid_no_intr pid =\n   try Unix.waitpid [] pid\n   with Unix.Unix_error (Unix.EINTR, _, _) -> waitpid_no_intr pid\n \n+let responsefile args resp_arg =\n+  try\n+    if Sys.win32 && (String.length (String.concat \"\" args) > 7000) then\n+      let file,oc = Filename.open_temp_file \"compcert\" \"\" in\n+      let whitespace = Str.regexp \"[ \\t\\r\\n]\" in\n+      let quote arg =\n+        if Str.string_match whitespace arg 0 then\n+          Filename.quote arg (* We need to quote arguments containing whitespaces *)\n+        else\n+          arg in\n+      List.iter (fun a -> Printf.fprintf oc \"%s \" (quote a)) args;\n+      close_out oc;\n+      resp_arg file\n+    else\n+      args\n+  with Sys_error _ ->\n+    args","path":"driver/Driveraux.ml","position":29,"original_position":29,"commit_id":"efa462bd1655c6b2c8f064e214762650092257e8","original_commit_id":"efa462bd1655c6b2c8f064e214762650092257e8","user":{"login":"xavierleroy","id":3845810,"avatar_url":"https://avatars.githubusercontent.com/u/3845810?v=3","gravatar_id":"","url":"https://api.github.com/users/xavierleroy","html_url":"https://github.com/xavierleroy","followers_url":"https://api.github.com/users/xavierleroy/followers","following_url":"https://api.github.com/users/xavierleroy/following{/other_user}","gists_url":"https://api.github.com/users/xavierleroy/gists{/gist_id}","starred_url":"https://api.github.com/users/xavierleroy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/xavierleroy/subscriptions","organizations_url":"https://api.github.com/users/xavierleroy/orgs","repos_url":"https://api.github.com/users/xavierleroy/repos","events_url":"https://api.github.com/users/xavierleroy/events{/privacy}","received_events_url":"https://api.github.com/users/xavierleroy/received_events","type":"User","site_admin":false},"body":"When is the temporary response file removed?","created_at":"2016-07-18T15:25:50Z","updated_at":"2016-07-18T15:25:50Z","html_url":"https://github.com/AbsInt/CompCert/pull/107#discussion_r71168521","pull_request_url":"https://api.github.com/repos/AbsInt/CompCert/pulls/107","_links":{"self":{"href":"https://api.github.com/repos/AbsInt/CompCert/pulls/comments/71168521"},"html":{"href":"https://github.com/AbsInt/CompCert/pull/107#discussion_r71168521"},"pull_request":{"href":"https://api.github.com/repos/AbsInt/CompCert/pulls/107"}}},"pull_request":{"url":"https://api.github.com/repos/AbsInt/CompCert/pulls/107","id":77787123,"html_url":"https://github.com/AbsInt/CompCert/pull/107","diff_url":"https://github.com/AbsInt/CompCert/pull/107.diff","patch_url":"https://github.com/AbsInt/CompCert/pull/107.patch","issue_url":"https://api.github.com/repos/AbsInt/CompCert/issues/107","number":107,"state":"open","locked":false,"title":"Response File support","user":{"login":"bschommer","id":6874733,"avatar_url":"https://avatars.githubusercontent.com/u/6874733?v=3","gravatar_id":"","url":"https://api.github.com/users/bschommer","html_url":"https://github.com/bschommer","followers_url":"https://api.github.com/users/bschommer/followers","following_url":"https://api.github.com/users/bschommer/following{/other_user}","gists_url":"https://api.github.com/users/bschommer/gists{/gist_id}","starred_url":"https://api.github.com/users/bschommer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bschommer/subscriptions","organizations_url":"https://api.github.com/users/bschommer/orgs","repos_url":"https://api.github.com/users/bschommer/repos","events_url":"https://api.github.com/users/bschommer/events{/privacy}","received_events_url":"https://api.github.com/users/bschommer/received_events","type":"User","site_admin":false},"body":"This pull request adds response file support to avoid problems with command line limits under Windows. A response file allows it to pass command line arguments per file. Options in the file are separated by whitespace and inserted in place.\r\n\r\nThe quoting conventions for options follows that of the gnu-tools: Options containing whitespace must be surrounded by either double or single quotes.\r\n\r\nAdditionally responsefiles are also used to pass options to the assembler, linker and preprocessor.","created_at":"2016-07-18T10:31:41Z","updated_at":"2016-07-18T15:25:50Z","closed_at":null,"merged_at":null,"merge_commit_sha":"7432cac1a40952fddbbfea91ea185856be9fdeca","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/AbsInt/CompCert/pulls/107/commits","review_comments_url":"https://api.github.com/repos/AbsInt/CompCert/pulls/107/comments","review_comment_url":"https://api.github.com/repos/AbsInt/CompCert/pulls/comments{/number}","comments_url":"https://api.github.com/repos/AbsInt/CompCert/issues/107/comments","statuses_url":"https://api.github.com/repos/AbsInt/CompCert/statuses/efa462bd1655c6b2c8f064e214762650092257e8","head":{"label":"AbsInt:add-file","ref":"add-file","sha":"efa462bd1655c6b2c8f064e214762650092257e8","user":{"login":"AbsInt","id":8820208,"avatar_url":"https://avatars.githubusercontent.com/u/8820208?v=3","gravatar_id":"","url":"https://api.github.com/users/AbsInt","html_url":"https://github.com/AbsInt","followers_url":"https://api.github.com/users/AbsInt/followers","following_url":"https://api.github.com/users/AbsInt/following{/other_user}","gists_url":"https://api.github.com/users/AbsInt/gists{/gist_id}","starred_url":"https://api.github.com/users/AbsInt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AbsInt/subscriptions","organizations_url":"https://api.github.com/users/AbsInt/orgs","repos_url":"https://api.github.com/users/AbsInt/repos","events_url":"https://api.github.com/users/AbsInt/events{/privacy}","received_events_url":"https://api.github.com/users/AbsInt/received_events","type":"Organization","site_admin":false},"repo":{"id":24187206,"name":"CompCert","full_name":"AbsInt/CompCert","owner":{"login":"AbsInt","id":8820208,"avatar_url":"https://avatars.githubusercontent.com/u/8820208?v=3","gravatar_id":"","url":"https://api.github.com/users/AbsInt","html_url":"https://github.com/AbsInt","followers_url":"https://api.github.com/users/AbsInt/followers","following_url":"https://api.github.com/users/AbsInt/following{/other_user}","gists_url":"https://api.github.com/users/AbsInt/gists{/gist_id}","starred_url":"https://api.github.com/users/AbsInt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AbsInt/subscriptions","organizations_url":"https://api.github.com/users/AbsInt/orgs","repos_url":"https://api.github.com/users/AbsInt/repos","events_url":"https://api.github.com/users/AbsInt/events{/privacy}","received_events_url":"https://api.github.com/users/AbsInt/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/AbsInt/CompCert","description":"The CompCert C verified compiler","fork":false,"url":"https://api.github.com/repos/AbsInt/CompCert","forks_url":"https://api.github.com/repos/AbsInt/CompCert/forks","keys_url":"https://api.github.com/repos/AbsInt/CompCert/keys{/key_id}","collaborators_url":"https://api.github.com/repos/AbsInt/CompCert/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/AbsInt/CompCert/teams","hooks_url":"https://api.github.com/repos/AbsInt/CompCert/hooks","issue_events_url":"https://api.github.com/repos/AbsInt/CompCert/issues/events{/number}","events_url":"https://api.github.com/repos/AbsInt/CompCert/events","assignees_url":"https://api.github.com/repos/AbsInt/CompCert/assignees{/user}","branches_url":"https://api.github.com/repos/AbsInt/CompCert/branches{/branch}","tags_url":"https://api.github.com/repos/AbsInt/CompCert/tags","blobs_url":"https://api.github.com/repos/AbsInt/CompCert/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/AbsInt/CompCert/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/AbsInt/CompCert/git/refs{/sha}","trees_url":"https://api.github.com/repos/AbsInt/CompCert/git/trees{/sha}","statuses_url":"https://api.github.com/repos/AbsInt/CompCert/statuses/{sha}","languages_url":"https://api.github.com/repos/AbsInt/CompCert/languages","stargazers_url":"https://api.github.com/repos/AbsInt/CompCert/stargazers","contributors_url":"https://api.github.com/repos/AbsInt/CompCert/contributors","subscribers_url":"https://api.github.com/repos/AbsInt/CompCert/subscribers","subscription_url":"https://api.github.com/repos/AbsInt/CompCert/subscription","commits_url":"https://api.github.com/repos/AbsInt/CompCert/commits{/sha}","git_commits_url":"https://api.github.com/repos/AbsInt/CompCert/git/commits{/sha}","comments_url":"https://api.github.com/repos/AbsInt/CompCert/comments{/number}","issue_comment_url":"https://api.github.com/repos/AbsInt/CompCert/issues/comments{/number}","contents_url":"https://api.github.com/repos/AbsInt/CompCert/contents/{+path}","compare_url":"https://api.github.com/repos/AbsInt/CompCert/compare/{base}...{head}","merges_url":"https://api.github.com/repos/AbsInt/CompCert/merges","archive_url":"https://api.github.com/repos/AbsInt/CompCert/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/AbsInt/CompCert/downloads","issues_url":"https://api.github.com/repos/AbsInt/CompCert/issues{/number}","pulls_url":"https://api.github.com/repos/AbsInt/CompCert/pulls{/number}","milestones_url":"https://api.github.com/repos/AbsInt/CompCert/milestones{/number}","notifications_url":"https://api.github.com/repos/AbsInt/CompCert/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/AbsInt/CompCert/labels{/name}","releases_url":"https://api.github.com/repos/AbsInt/CompCert/releases{/id}","deployments_url":"https://api.github.com/repos/AbsInt/CompCert/deployments","created_at":"2014-09-18T12:27:33Z","updated_at":"2016-07-14T14:27:41Z","pushed_at":"2016-07-18T10:31:41Z","git_url":"git://github.com/AbsInt/CompCert.git","ssh_url":"git@github.com:AbsInt/CompCert.git","clone_url":"https://github.com/AbsInt/CompCert.git","svn_url":"https://github.com/AbsInt/CompCert","homepage":"http://compcert.inria.fr/","size":14354,"stargazers_count":196,"watchers_count":196,"language":"Coq","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":30,"mirror_url":null,"open_issues_count":8,"forks":30,"open_issues":8,"watchers":196,"default_branch":"master"}},"base":{"label":"AbsInt:master","ref":"master","sha":"b1e369b98b6611d71b0d85115c1205fdbdbbece7","user":{"login":"AbsInt","id":8820208,"avatar_url":"https://avatars.githubusercontent.com/u/8820208?v=3","gravatar_id":"","url":"https://api.github.com/users/AbsInt","html_url":"https://github.com/AbsInt","followers_url":"https://api.github.com/users/AbsInt/followers","following_url":"https://api.github.com/users/AbsInt/following{/other_user}","gists_url":"https://api.github.com/users/AbsInt/gists{/gist_id}","starred_url":"https://api.github.com/users/AbsInt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AbsInt/subscriptions","organizations_url":"https://api.github.com/users/AbsInt/orgs","repos_url":"https://api.github.com/users/AbsInt/repos","events_url":"https://api.github.com/users/AbsInt/events{/privacy}","received_events_url":"https://api.github.com/users/AbsInt/received_events","type":"Organization","site_admin":false},"repo":{"id":24187206,"name":"CompCert","full_name":"AbsInt/CompCert","owner":{"login":"AbsInt","id":8820208,"avatar_url":"https://avatars.githubusercontent.com/u/8820208?v=3","gravatar_id":"","url":"https://api.github.com/users/AbsInt","html_url":"https://github.com/AbsInt","followers_url":"https://api.github.com/users/AbsInt/followers","following_url":"https://api.github.com/users/AbsInt/following{/other_user}","gists_url":"https://api.github.com/users/AbsInt/gists{/gist_id}","starred_url":"https://api.github.com/users/AbsInt/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AbsInt/subscriptions","organizations_url":"https://api.github.com/users/AbsInt/orgs","repos_url":"https://api.github.com/users/AbsInt/repos","events_url":"https://api.github.com/users/AbsInt/events{/privacy}","received_events_url":"https://api.github.com/users/AbsInt/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/AbsInt/CompCert","description":"The CompCert C verified compiler","fork":false,"url":"https://api.github.com/repos/AbsInt/CompCert","forks_url":"https://api.github.com/repos/AbsInt/CompCert/forks","keys_url":"https://api.github.com/repos/AbsInt/CompCert/keys{/key_id}","collaborators_url":"https://api.github.com/repos/AbsInt/CompCert/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/AbsInt/CompCert/teams","hooks_url":"https://api.github.com/repos/AbsInt/CompCert/hooks","issue_events_url":"https://api.github.com/repos/AbsInt/CompCert/issues/events{/number}","events_url":"https://api.github.com/repos/AbsInt/CompCert/events","assignees_url":"https://api.github.com/repos/AbsInt/CompCert/assignees{/user}","branches_url":"https://api.github.com/repos/AbsInt/CompCert/branches{/branch}","tags_url":"https://api.github.com/repos/AbsInt/CompCert/tags","blobs_url":"https://api.github.com/repos/AbsInt/CompCert/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/AbsInt/CompCert/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/AbsInt/CompCert/git/refs{/sha}","trees_url":"https://api.github.com/repos/AbsInt/CompCert/git/trees{/sha}","statuses_url":"https://api.github.com/repos/AbsInt/CompCert/statuses/{sha}","languages_url":"https://api.github.com/repos/AbsInt/CompCert/languages","stargazers_url":"https://api.github.com/repos/AbsInt/CompCert/stargazers","contributors_url":"https://api.github.com/repos/AbsInt/CompCert/contributors","subscribers_url":"https://api.github.com/repos/AbsInt/CompCert/subscribers","subscription_url":"https://api.github.com/repos/AbsInt/CompCert/subscription","commits_url":"https://api.github.com/repos/AbsInt/CompCert/commits{/sha}","git_commits_url":"https://api.github.com/repos/AbsInt/CompCert/git/commits{/sha}","comments_url":"https://api.github.com/repos/AbsInt/CompCert/comments{/number}","issue_comment_url":"https://api.github.com/repos/AbsInt/CompCert/issues/comments{/number}","contents_url":"https://api.github.com/repos/AbsInt/CompCert/contents/{+path}","compare_url":"https://api.github.com/repos/AbsInt/CompCert/compare/{base}...{head}","merges_url":"https://api.github.com/repos/AbsInt/CompCert/merges","archive_url":"https://api.github.com/repos/AbsInt/CompCert/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/AbsInt/CompCert/downloads","issues_url":"https://api.github.com/repos/AbsInt/CompCert/issues{/number}","pulls_url":"https://api.github.com/repos/AbsInt/CompCert/pulls{/number}","milestones_url":"https://api.github.com/repos/AbsInt/CompCert/milestones{/number}","notifications_url":"https://api.github.com/repos/AbsInt/CompCert/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/AbsInt/CompCert/labels{/name}","releases_url":"https://api.github.com/repos/AbsInt/CompCert/releases{/id}","deployments_url":"https://api.github.com/repos/AbsInt/CompCert/deployments","created_at":"2014-09-18T12:27:33Z","updated_at":"2016-07-14T14:27:41Z","pushed_at":"2016-07-18T10:31:41Z","git_url":"git://github.com/AbsInt/CompCert.git","ssh_url":"git@github.com:AbsInt/CompCert.git","clone_url":"https://github.com/AbsInt/CompCert.git","svn_url":"https://github.com/AbsInt/CompCert","homepage":"http://compcert.inria.fr/","size":14354,"stargazers_count":196,"watchers_count":196,"language":"Coq","has_issues":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":30,"mirror_url":null,"open_issues_count":8,"forks":30,"open_issues":8,"watchers":196,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/AbsInt/CompCert/pulls/107"},"html":{"href":"https://github.com/AbsInt/CompCert/pull/107"},"issue":{"href":"https://api.github.com/repos/AbsInt/CompCert/issues/107"},"comments":{"href":"https://api.github.com/repos/AbsInt/CompCert/issues/107/comments"},"review_comments":{"href":"https://api.github.com/repos/AbsInt/CompCert/pulls/107/comments"},"review_comment":{"href":"https://api.github.com/repos/AbsInt/CompCert/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/AbsInt/CompCert/pulls/107/commits"},"statuses":{"href":"https://api.github.com/repos/AbsInt/CompCert/statuses/efa462bd1655c6b2c8f064e214762650092257e8"}}}}
{"actor":{"display_login":"xavierleroy"}}