Advertisement
logicmoo

Untitled

Jan 26th, 2018
224
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 8.54 KB | None | 0 0
  1. root@gitlab:/home/dmiles/logicmoo_workspace/packs_usr/plOpenGL# ldd lib/x86_64-linux/plOpenGL.so
  2.         linux-vdso.so.1 =>  (0x00007ffdea0cb000)
  3.         libGL.so.1 => /usr/lib/x86_64-linux-gnu/mesa/libGL.so.1 (0x00007f50f79b2000)
  4.         libglut.so.3 => /usr/lib/x86_64-linux-gnu/libglut.so.3 (0x00007f50f776a000)
  5.         libGLU.so.1 => /usr/lib/x86_64-linux-gnu/libGLU.so.1 (0x00007f50f74fb000)
  6.         libswipl.so.7.7 => /root/lib/swipl-7.7.8/lib/x86_64-linux/libswipl.so.7.7 (0x00007f50f71a2000)
  7.         libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f50f6f85000)
  8.         libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f50f6bbb000)
  9.         libexpat.so.1 => /lib/x86_64-linux-gnu/libexpat.so.1 (0x00007f50f6992000)
  10.         libxcb-dri3.so.0 => /usr/lib/x86_64-linux-gnu/libxcb-dri3.so.0 (0x00007f50f678f000)
  11.         libxcb-present.so.0 => /usr/lib/x86_64-linux-gnu/libxcb-present.so.0 (0x00007f50f658c000)
  12.         libxcb-sync.so.1 => /usr/lib/x86_64-linux-gnu/libxcb-sync.so.1 (0x00007f50f6385000)
  13.         libxshmfence.so.1 => /usr/lib/x86_64-linux-gnu/libxshmfence.so.1 (0x00007f50f6182000)
  14.         libglapi.so.0 => /usr/lib/x86_64-linux-gnu/libglapi.so.0 (0x00007f50f5f52000)
  15.         libXext.so.6 => /usr/lib/x86_64-linux-gnu/libXext.so.6 (0x00007f50f5d40000)
  16.         libXdamage.so.1 => /usr/lib/x86_64-linux-gnu/libXdamage.so.1 (0x00007f50f5b3d000)
  17.         libXfixes.so.3 => /usr/lib/x86_64-linux-gnu/libXfixes.so.3 (0x00007f50f5937000)
  18.         libX11-xcb.so.1 => /usr/lib/x86_64-linux-gnu/libX11-xcb.so.1 (0x00007f50f5735000)
  19.         libX11.so.6 => /usr/lib/x86_64-linux-gnu/libX11.so.6 (0x00007f50f53fb000)
  20.         libxcb-glx.so.0 => /usr/lib/x86_64-linux-gnu/libxcb-glx.so.0 (0x00007f50f51e2000)
  21.         libxcb-dri2.so.0 => /usr/lib/x86_64-linux-gnu/libxcb-dri2.so.0 (0x00007f50f4fdd000)
  22.         libxcb.so.1 => /usr/lib/x86_64-linux-gnu/libxcb.so.1 (0x00007f50f4dbb000)
  23.         libXxf86vm.so.1 => /usr/lib/x86_64-linux-gnu/libXxf86vm.so.1 (0x00007f50f4bb5000)
  24.         libdrm.so.2 => /usr/lib/x86_64-linux-gnu/libdrm.so.2 (0x00007f50f49a4000)
  25.         libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f50f469b000)
  26.         libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f50f4497000)
  27.         libXi.so.6 => /usr/lib/x86_64-linux-gnu/libXi.so.6 (0x00007f50f4287000)
  28.         libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f50f3f05000)
  29.         libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f50f3cef000)
  30.         libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f50f3a6f000)
  31.         librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f50f3867000)
  32.         libtinfo.so.5 => /lib/x86_64-linux-gnu/libtinfo.so.5 (0x00007f50f363e000)
  33.         /lib64/ld-linux-x86-64.so.2 (0x00007f50f7e45000)
  34.         libXau.so.6 => /usr/lib/x86_64-linux-gnu/libXau.so.6 (0x00007f50f343a000)
  35.         libXdmcp.so.6 => /usr/lib/x86_64-linux-gnu/libXdmcp.so.6 (0x00007f50f3234000)
  36. root@gitlab:/home/dmiles/logicmoo_workspace/packs_usr/plOpenGL# lddtree
  37. The program 'lddtree' is currently not installed. You can install it by typing:
  38. apt install pax-utils
  39. root@gitlab:/home/dmiles/logicmoo_workspace/packs_usr/plOpenGL# apt install pax-utils
  40. Reading package lists... Done
  41. Building dependency tree
  42. Reading state information... Done
  43. The following packages were automatically installed and are no longer required:
  44.   linux-headers-4.4.0-105 linux-headers-4.4.0-105-generic linux-image-4.4.0-105-generic linux-image-extra-4.4.0-105-generic
  45. Use 'apt autoremove' to remove them.
  46. Suggested packages:
  47.   paxctl
  48. The following NEW packages will be installed:
  49.   pax-utils
  50. 0 upgraded, 1 newly installed, 0 to remove and 113 not upgraded.
  51. Need to get 73.3 kB of archives.
  52. After this operation, 251 kB of additional disk space will be used.
  53. Get:1 http://us.archive.ubuntu.com/ubuntu xenial/universe amd64 pax-utils amd64 1.1.5-1 [73.3 kB]
  54. Fetched 73.3 kB in 0s (191 kB/s)
  55. Selecting previously unselected package pax-utils.
  56. (Reading database ... 494803 files and directories currently installed.)
  57. Preparing to unpack .../pax-utils_1.1.5-1_amd64.deb ...
  58. Unpacking pax-utils (1.1.5-1) ...
  59. Processing triggers for man-db (2.7.5-1) ...
  60. Setting up pax-utils (1.1.5-1) ...
  61. root@gitlab:/home/dmiles/logicmoo_workspace/packs_usr/plOpenGL# lddtree
  62. buildenv.sh     CHANGELOG       COPYRIGHT       .git/           LICENSE.LGPL    pack.pl         README.md
  63. c/              codeblocks_win/ examples/       lib/            makefile        prolog/
  64. root@gitlab:/home/dmiles/logicmoo_workspace/packs_usr/plOpenGL# lddtree lib/x86_64-linux/plOpenGL.so
  65. plOpenGL.so => lib/x86_64-linux/plOpenGL.so (interpreter => none)
  66.     libGL.so.1 => /usr/lib/x86_64-linux-gnu/mesa/libGL.so.1
  67.         libexpat.so.1 => /lib/x86_64-linux-gnu/libexpat.so.1
  68.         libxcb-dri3.so.0 => /usr/lib/x86_64-linux-gnu/libxcb-dri3.so.0
  69.         libxcb-present.so.0 => /usr/lib/x86_64-linux-gnu/libxcb-present.so.0
  70.         libxcb-sync.so.1 => /usr/lib/x86_64-linux-gnu/libxcb-sync.so.1
  71.         libxshmfence.so.1 => /usr/lib/x86_64-linux-gnu/libxshmfence.so.1
  72.         libglapi.so.0 => /usr/lib/x86_64-linux-gnu/libglapi.so.0
  73.         libXext.so.6 => /usr/lib/x86_64-linux-gnu/libXext.so.6
  74.         libXdamage.so.1 => /usr/lib/x86_64-linux-gnu/libXdamage.so.1
  75.         libXfixes.so.3 => /usr/lib/x86_64-linux-gnu/libXfixes.so.3
  76.         libX11-xcb.so.1 => /usr/lib/x86_64-linux-gnu/libX11-xcb.so.1
  77.         libX11.so.6 => /usr/lib/x86_64-linux-gnu/libX11.so.6
  78.         libxcb-glx.so.0 => /usr/lib/x86_64-linux-gnu/libxcb-glx.so.0
  79.         libxcb-dri2.so.0 => /usr/lib/x86_64-linux-gnu/libxcb-dri2.so.0
  80.         libxcb.so.1 => /usr/lib/x86_64-linux-gnu/libxcb.so.1
  81.             libXau.so.6 => /usr/lib/x86_64-linux-gnu/libXau.so.6
  82.             libXdmcp.so.6 => /usr/lib/x86_64-linux-gnu/libXdmcp.so.6
  83.         libXxf86vm.so.1 => /usr/lib/x86_64-linux-gnu/libXxf86vm.so.1
  84.         libdrm.so.2 => /usr/lib/x86_64-linux-gnu/libdrm.so.2
  85.         libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6
  86.             ld-linux-x86-64.so.2 => /lib/x86_64-linux-gnu/ld-linux-x86-64.so.2
  87.         libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2
  88.     libglut.so.3 => /usr/lib/x86_64-linux-gnu/libglut.so.3
  89.         libXi.so.6 => /usr/lib/x86_64-linux-gnu/libXi.so.6
  90.     libGLU.so.1 => /usr/lib/x86_64-linux-gnu/libGLU.so.1
  91.         libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6
  92.         libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1
  93.     libswipl.so.7.7 => /root/lib/swipl-7.7.8/lib/x86_64-linux/libswipl.so.7.7
  94.         libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10
  95.         librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1
  96.         libtinfo.so.5 => /lib/x86_64-linux-gnu/libtinfo.so.5
  97.     libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0
  98.     libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6
  99.  
  100.  
  101.  
  102. root@gitlab:/home/dmiles/logicmoo_workspace/packs_usr/plOpenGL# cat ~/.swiplrc
  103.  
  104. /*
  105. :- if(current_prolog_flag(debug,false)).
  106. :- set_prolog_flag(verbose_autoload,false).
  107. :- set_prolog_flag(verbose,silent).
  108. :- set_prolog_flag(verbose_load,silent).
  109. :- endif.
  110. */
  111.  
  112. :- '$hide'('$toplevel':restore_debug).
  113. :- '$hide'('$toplevel':save_debug).
  114. :- '$hide'('$toplevel':residue_vars/2).
  115. :- '$hide'('system':deterministic/1).
  116. :- '$hide'(toplevel_call/2).
  117. :- '$hide'('$toplevel':'$query_loop'/0).
  118.   %[5] [$toplevel] '$execute_goal2'(user:trace, [])
  119.   %[3] [$toplevel] '$query_loop'
  120.   %[2] [$toplevel] '$runtoplevel'
  121.  
  122. :- use_module(library(prolog_pack)).
  123. %:- if( \+ prolog_pack:current_pack(logicmoo_base)).
  124. :- multifile(user:file_search_path/2).
  125. :-   dynamic(user:file_search_path/2).
  126.  
  127. dir_from(Rel,Y):-
  128.     ((getenv('LOGICMOO_WS',Dir);
  129.      prolog_load_context(directory,Dir);
  130.      '~/logicmoo_workspace'=Dir;
  131.      '/home/dmiles/logicmoo_workspace'=Dir)),
  132.     absolute_file_name(Rel,Y,[relative_to(Dir),file_type(directory),file_errors(fail)]),
  133.     exists_directory(Y),!.
  134.  
  135. add_pack_path(Rel):-
  136.    dir_from(Rel,Y),
  137.    (( \+ user:file_search_path(pack,Y)) ->asserta(user:file_search_path(pack,Y));true).
  138.  
  139. :- add_pack_path(packs_sys).
  140. :- add_pack_path(packs_usr).
  141. :- add_pack_path(packs_web).
  142. :- add_pack_path(packs_xtra).
  143.  
  144. :- initialization(attach_packs,now).
  145.  
  146. /*
  147. :- if(current_prolog_flag(debug,false)).
  148. :- set_prolog_flag(verbose_autoload,false).
  149. :- set_prolog_flag(verbose,silent).
  150. :- set_prolog_flag(verbose_load,silent).
  151. :- endif.
  152. */
  153.  
  154. :- pack_list_installed.
  155. %:- endif.
  156.  
  157.  
  158. :- if(exists_source(library(editline))).
  159. :- use_module(library(editline)).
  160. :- else.
  161. :- if(exists_source(library(readline))).
  162. :- use_module(library(readline)).
  163. :- endif.
  164. :- endif.
  165. setup_hist0:-  '$toplevel':setup_history.
  166. :- setup_hist0.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement