How to include a particular lib in the cds.lib while calling virtuoso from command prompt

Hi Lavanya,

I'm not sure that I fully understand the question but the definition has to be added to a cds.lib file in order for the library to be available for the session. I have a couple of suggestions, one is to add the library definition at the end of the cds.lib file via SKILL in the replay file, and potentially remove it also at the end of the replay. Another is to copy the cds.lib file and add the definition to the copy and then use ddSetForcedLib() to point the session to that cds.lib file copy rather than cds.lib for the replay session only.  Here's some code that might help:

  let( (ptr (file "./cds.lib")
    ;; unless 'mylib' is already available in this session
    unless(member("mylib" ddGetLibList()~>name)
      fptr = outfile(file "a") ; open the 'cds.lib' file for edit
      fprintf(fptr "\nDEFINE mylib /home/lavs/TEST/mylib\n") ; add the desired entry
      close(fptr) ; write/close the file
      ddUpdateLibList() ; refresh the session 
    ); unless
  ); let

I think that the 'copy' approach is potentially easier because you don't have to worry about removing the entry, just copy the cds.lib, used ddSetForceLib() to point to the copy, then edit the copy to add the mylib definition and refresh and then you are done (for that session), future sessions will use the cds.lib by default and will not be affected by your copied cds.lib, and by always copying the cds.lib you take into account any changes that may have occurred since the last replay. I did not include an example of the copy followed by the ddSetForcedLib(), and in the example above you would edit the default for "file" to the name of the copied file in that case.

Hopefully this helps you?

Best regards,

Lawrence.

A simpler approach might be to create a cds.lib somewhere like this:

DEFINE mylib /home/lavs/TEST/mylib
INCLUDE $PWD/cds.lib

then do:

virtuoso -cdslib /path/to/this/cds.lib -log loga -replay myskill.il

Note, I didn't test this...

Andrew.

A simpler approach might be to create a cds.lib somewhere like this:

DEFINE mylib /home/lavs/TEST/mylib
INCLUDE $PWD/cds.lib

then do:

virtuoso -cdslib /path/to/this/cds.lib -log loga -replay myskill.il

Note, I didn't test this...

Andrew.

Thank you Andrew and Lawrence