CMake convert unix to windows path -


i'm trying convert unix style msys path such /c/my/path/to/a/folder windows path, or cmake understand, e.g c:/my/path/to/a/folder. i'd work on path correct.

is there proper way ?

note : please not mention cygwin's cygpath.

edit: file(to_cmake_path mypath result) not working

there's no built-in cmake functionality this, can write function/macro it:

macro(msys_to_cmake_path msyspath resultingpath)   string(regex replace "^/([a-za-z])/" "\\1:/" ${resultingpath} "${msyspath}") endmacro()  set(mypath "/c/my/path/to/a/folder") msys_to_cmake_path(${mypath} result)  message("converted \"${mypath}\" \"${result}\".")

having said that, agree antonio's comment in seems unusual need in first place.


Comments

Post a Comment

Popular posts from this blog

javascript - AngularJS custom datepicker directive -

i make custom datepicker directive custom template. but have no idea how start building it... how include date data directive? i appreciate guide or give me advice work on more precisely. it might you! follow below steps html code sample: <label>birth date</label> <input type="text" ng-model="birthdate" date-options="dateoptions" custom-datepicker/> <hr/> <pre>birthdate = {{birthdate}}</pre> <script type="text/ng-template" id="custom-datepicker.html"> <div class="enhanced-datepicker"> <div class="proxied-field-wrap"> <input type="text" ui-date-format="yy-mm-dd" ng-model="ngmodel" ui-date="dateoptions"/> </div> <label> <button class="btn" type="button"><i class="icon-calendar"></i>
Read more

javascript - jQuery date picker - Disable dates after the selection from the first date picker -

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>jquery ui datepicker - default functionality</title> <link rel="stylesheet" href="//code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.css"> <script src="//code.jquery.com/jquery-1.10.2.js"></script> <script src="//code.jquery.com/ui/1.11.4/jquery-ui.js"></script> <link rel="stylesheet" href="/resources/demos/style.css"> <script> $(function () { $("#datepicker1").datepicker(); }); </script> <script> $(function () { $("#datepicker2").datepicker(); }); </script> </head> <body> <p>date 1: <input type="text" id="datepicker1"></p> <p>date 2: <input type="t
Read more